jgarte
Follow
-
selected-guix-works Public
Forked from gs-101/selected-guix-worksGuix channel featuring assorted packages.
Scheme GNU General Public License v3.0 UpdatedFeb 18, 2025 -
agda-python Public
Forked from wenkokke/agda-pythonA project that packages Agda as a Python package.
Python MIT License UpdatedFeb 18, 2025 -
cl-z3 Public
Forked from mister-walter/cl-z3Common Lisp bindings for the Z3 SMT solver's C API
Common Lisp MIT License UpdatedFeb 10, 2025 -
Developer environments you can take with you
Rust GNU General Public License v2.0 UpdatedFeb 5, 2025 -
CoverM Public
Forked from wwood/CoverMRead alignment statistics for metagenomics
Rust GNU General Public License v3.0 UpdatedJan 28, 2025 -
copygc Public
Forked from JennysJam/copygcCopying Collector port of baby's first garbage collecotr
-
-
scryer-prolog Public
Forked from mthom/scryer-prologA modern Prolog implementation written mostly in Rust.
Rust BSD 3-Clause "New" or "Revised" License UpdatedJan 17, 2025 -
-
-
elestio-terraform-starter Public
Forked from elestio-examples/elestio-terraform-starterReady-to-deploy terraform example for elestio
HCL UpdatedJan 8, 2025 -
-
nprolog Public
Forked from sasagawa888/nprologinterpreter and compiler to be compatible with ARITY/PROLOG（MS-DOS)
C Other UpdatedJan 7, 2025 -
Cuis-Smalltalk-Dev Public
Forked from Cuis-Smalltalk/Cuis-Smalltalk-DevActive development of Cuis Smalltalk
Smalltalk MIT License UpdatedJan 3, 2025 -
-
fsrs Public
Forked from eudoxia0/fsrsThe FSRS algorithm in 100 lines of Rust.
Rust MIT License UpdatedJan 1, 2025 -
-
PythonAlgos Public
Forked from TheAlgorithms/PythonAll Algorithms implemented in Python
Python MIT License UpdatedDec 31, 2024 -
gocix Public
Forked from fishinthecalculator/gocixThis project aims at implementing a Guix native experience for services that are not yet guixable
Scheme GNU General Public License v3.0 UpdatedDec 31, 2024 -
neomacs Public
Forked from neomacs-project/neomacsStructural Lisp IDE/browser/computing environment
Common Lisp GNU General Public License v3.0 UpdatedDec 30, 2024 -
-
colony Public
Forked from colonyengine/colonyA Common Lisp Game Engine
Common Lisp MIT License UpdatedDec 28, 2024 -
fontaine Public
Forked from protesilaos/fontaineSet Emacs font configurations using presets
Emacs Lisp GNU General Public License v3.0 UpdatedDec 28, 2024 -
sops-guix Public
Forked from fishinthecalculator/sops-guixSecure secret provisioning with Guix and SOPS
Scheme GNU General Public License v3.0 UpdatedDec 27, 2024 -
tempel-collection Public
Forked from Crandel/tempel-collectionCollection tempel templates
-
rust-by-example- Public
Forked from jpbruinsslot/rust-by-example🦀 code examples for https://rustbyexample.io
Rust UpdatedDec 26, 2024 -
nickel Public
Forked from tweag/nickelBetter configuration for less
Rust MIT License UpdatedDec 26, 2024 -
-
-
Common-macros Public
Forked from robert-strandh/Common-macrosPortable implementation of many standard Common Lisp macros.
Common Lisp UpdatedDec 21, 2024