alxbnct

Pinned Repositories

bookmarkdiff
A simple tool writen in chicken scheme for extracting new bookmarks from two html bookmark files exported from Firefox/Chrome.
Language:Scheme2 2 00
cgit
Read-only mirror of https://git.zx2c4.com/cgit/about . Pull requests and issues on GitHub cannot be accepted and will be automatically closed. The proper way to submit changes is via the mailing list; see https://lists.zx2c4.com/mailman/listinfo/cgit .
Language:C2 1 00
emacs-ng
A new approach to Emacs - Including TypeScript, Threading, Async I/O, and WebRender.
Language:Emacs Lisp4 1 00
EnergyPlus
EnergyPlus™ is a whole building energy simulation program that engineers, architects, and researchers use to model both energy consumption and water use in buildings.
Language:C++20
erc-logger
A simple irc logger written in elisp!
Language:Emacs Lisp8 3 01
flox
Developer environments you can take with you
Language:Rust40
jenv
Manage your Java environment
Language:Shell30
mistral.rs
Blazingly fast LLM inference.
Language:Rust3 0 00
ragflow
RAGFlow is an open-source RAG (Retrieval-Augmented Generation) engine based on deep document understanding.
Language:Python3 0 00
sicp-exercises
My solutions to some of the exercises in SICP.
Language:Scheme1 2 00

alxbnct's Repositories

alxbnct/emacs-ng
A new approach to Emacs - Including TypeScript, Threading, Async I/O, and WebRender.
Language:Emacs Lisp4 1 00
alxbnct/fesod
Fast. Easy. Done. Processing Excels without worrying about large files causing OOM.
2
alxbnct/golitex
Litex is a simple formal language Learnable in 2 hours, not 1 year. It scales formal reasoning in AI era.
1
alxbnct/lobster
The Lobster Programming Language
1
alxbnct/onyx
✨ The compiler and developer toolchain for Onyx
1
alxbnct/winnow
Making parsing a breeze
1
alxbnct/adjust.h
A simple single header library written in c99 for adjusting hardcoded parameters while debugging and fiddling around with values.
alxbnct/compiler-explorer
Run compilers interactively from your web browser and interact with the assembly
Language:TypeScript0 0
alxbnct/core
Read-only LibreOffice core repo - no pull request (use gerrit instead https://gerrit.libreoffice.org/) - don't download zip, use https://dev-www.libreoffice.org/bundles/ instead
Language:C++
alxbnct/direnv
unclutter your .profile
alxbnct/Dolphin
Dolphin Smalltalk Core Image
alxbnct/edk2
EDK II
alxbnct/Fennel
Lua Lisp Language
alxbnct/FsAutoComplete
F# language server using Language Server Protocol
alxbnct/gitoxide
An idiomatic, lean, fast & safe pure Rust implementation of Git
alxbnct/jank
The native Clojure dialect hosted on LLVM with seamless C++ interop.
Language:C++
alxbnct/jj
A Git-compatible VCS that is both simple and powerful
alxbnct/Juicemacs
An absolutely-not-solid Emacs implementation (WIP)
alxbnct/lean4
Lean 4 programming language and theorem prover
Language:Lean
alxbnct/mirage
MirageOS is a library operating system that constructs unikernels
alxbnct/octave
GNU Octave Mirror (https://www.octave.org/hg/octave). Report bugs and submit pull requests (patches) at https://bugs.octave.org
alxbnct/opensmalltalk-vm
Cross-platform virtual machine for the Smalltalk implementations Squeak and Cuis
alxbnct/pharo
Pharo is a dynamic reflective pure object-oriented language supporting live programming inspired by Smalltalk.
alxbnct/quiche
🥧 Savoury implementation of the QUIC transport protocol and HTTP/3
alxbnct/r-source
Read-only mirror of R source code from https://svn.r-project.org/R/, updated hourly. See the build instructions on the wiki page.
Language:R1 0
alxbnct/rstudio
RStudio is an integrated development environment (IDE) for R
alxbnct/sentry
Developer-first error tracking and performance monitoring
alxbnct/superconfigure
wrap autotools configure scripts to build with Cosmopolitan Libc
alxbnct/turso
Turso is an in-process SQL database, compatible with SQLite.
alxbnct/umka-lang
Umka: a statically typed embeddable scripting language