qexat
Follow
-
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for opam, the source package manager of OCaml.
Creative Commons Zero v1.0 Universal UpdatedFeb 21, 2025 -
ansifmt Public
A simple, lightweight library for ANSI formatting with powerful features such as a element-based system for pretty-printing code in the terminal.
-
ansifmt_demo Public
A very simple project that makes use of ansifmt's tokenization-based formatting.
-
-
magic-list Public
A list on steroids
-
gleam Public
Forked from gleam-lang/gleam⭐️ A friendly language for building type-safe, scalable systems!
Rust Apache License 2.0 UpdatedFeb 14, 2025 -
-
-
github-tui Public
Forked from chshersh/github-tui🌒 A TUI for GitHub
-
blz78suf Public
LZ78 optimal parsing for repetitive Brainfuck text generation
C++ Creative Commons Zero v1.0 Universal UpdatedJan 30, 2025 -
peano Public
Natural numbers based on Peano axioms in Gleam.
-
-
-
-
inductive Public
inductive is a Python library that defines inductive data structures such as Peano numbers and linked lists.
-
identify Public
Forked from pre-commit/identifyFile identification library for Python
Python MIT License UpdatedDec 11, 2024 -
Coquille Public
Coquille is a lightweight library that wraps terminal escape sequences to easily apply them to a stream.
-
-
shell Public
Forked from knight-lang/shellImplementations of Knight in different shell programs.
Shell UpdatedDec 5, 2024 -
-
-
-
-
c23_list Public
My very bad and unsafe take on generic lists using the nice features of C23.
-
-
venusc Public archive
[Coming soon] Compiler and toolchain for the Venus programming language.
Python MIT License UpdatedAug 27, 2024 -
-
rosalie Public
Colorful rose theme for Visual Studio Code.
-
-
camlator Public archive
A parser and tree-walk interpreter for basic math expressions, written in OCaml.