jsoo1
Follow
Stars
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
pkg-config like interface for exposing crate metadata to primitive build systems
A Git-compatible VCS that is both simple and powerful
Limbo is a project to build the modern evolution of SQLite.
Programming language for literate programming law specification
Reproducible Central: rebuild instructions for artifacts published to (Maven) Central Repository
[MIRROR, PRs ok! Issues: https://git.lix.systems/lix-project/lix/issues] A modern, delicious implementation of the Nix package manager, focused on correctness, usability, and growth — and committed…
A Nix library to download files from the internet without requiring a hash
Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]
The simplest, fastest repository for training/finetuning medium-sized GPTs.
VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification levels; part of CertiCoq project
Cursive TUI that queries XPC to peek at launchd state
Automatically-updated Hydra status of the `haskell-updates` branch in Nixpkgs
This repository contains the jailbreaking process for GPT-3, GPT-4, GPT-3.5, ChatGPT, and ChatGPT Plus. By following the instructions in this repository, you will be able to gain access to the inne…
rebuild only changed crates in CI with crate2nix and nix
Manage system config using nix on any distro
NIx Language server, an incremental analysis assistant for writing in Nix.
❄️ Simplify Nix Flakes with the module system
A new markup-based typesetting system that is powerful and easy to learn.
Small but complete dynamic Forth Interpreter/Compiler for and in WebAssembly