- Jakarta
Highlights
- Pro
Stars
⭐️ A friendly language for building type-safe, scalable systems!
The OpenTF Manifesto expresses concern over HashiCorp's switch of the Terraform license from open-source to the Business Source License (BSL) and calls for the tool's return to a truly open-source …
Secure, Open Source, and Google Authenticator compatible application to manage your 2-step verification (2FA) tokens for your online services.
Dafny is a verification-aware programming language
Elixir is a dynamic, functional language for building scalable and maintainable applications
Elixir bindings to the XGBoost C API (https://xgboost.readthedocs.io/en/stable/c.html) using Native Implemented Functions (NIFs)
Generate Kysely type definitions from your database.
Rich, real-time user experiences with server-rendered HTML
Peace of mind from prototype to production
Safe Rust bridge for creating Erlang NIF functions
Series (one-dimensional) and dataframes (two-dimensional) for fast and elegant data exploration in Elixir
This repository contains monorepo for React and Flutter UI library. (WIP - Alpha Release)
Transaction based testing tools for Postgres. Run all your database tests (and CI Pipelines) concurrently!
Result monad for Elixir inspired by Rust Result type
Collection of TypeScript type challenges with online judge
Utilities to expand TypeScript types shown by IntelliSense in Visual Studio Code.
🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.
Dataframes powered by a multithreaded, vectorized query engine, written in Rust
Ergonomic and modular web framework built with Tokio, Tower, and Hyper
Monika is a command line application to monitor every part of your web app using a simple YAML configuration file. Get alert not only when your site is down but also when it's slow.
Welcome! This repo hosts a basic set of guidelines for Indonesian students and fresh graduates to land their first tech job at Zero One Group!
A massively parallel, optimal functional runtime in Rust