Stars
- All languages
- APL
- Ada
- Assembly
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Crystal
- Cuda
- D
- Dart
- Dockerfile
- Emacs Lisp
- Erlang
- F#
- Factor
- Flix
- Forth
- Go
- Groovy
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- LLVM
- Logtalk
- Lua
- M4
- Makefile
- Markdown
- Nix
- OCaml
- Odin
- PHP
- Pony
- Prolog
- Python
- Racket
- Raku
- Reason
- Red
- Roc
- Rocq Prover
- Roff
- Ruby
- Rust
- Sail
- Scheme
- Shell
- Smalltalk
- Standard ML
- Tcl
- TeX
- TypeScript
- V
- VHDL
- Verilog
- Vim Script
- WebAssembly
- Wren
- Yacc
- ZIL
- Zig
Some notes taken while working on Prolog
The opened source code of the Picat compiler, interpreter, and library.
My public programs and models - mostly combinatorial problems and puzzles
High-performance text rendering library for Go, powered by Pango, FreeType, and FontConfig. Provides text shaping, layout, rasterization, and editing with pluggable rendering backends.
Interactive slippy-tile map widget for go-gui. Raster tiles, pan/zoom, vector overlays.
A code editor widget for go-gui. Pure Go, no CGO. Syntax highlighting via chroma. Text shaping via go-glyph.
Charting library for Go, built on go-gui. Immediate-mode rendering via DrawCanvas — no virtual DOM, no diffing, just fast composable charts.
Cross-platform GUI framework for Go — no virtual DOM, no diffing, just fast, composable UI.
interpreter and compiler to be compatible with ARITY/PROLOG(MS-DOS)
Zork I (Microcomputer Version) by Infocom
The original sources of MS-DOS 1.25, 2.0, and 4.0 for reference purposes
When asked to pick a random number between 1 and 100, ChatGPT does not follow a random uniform distribution
Logtalk - declarative object-oriented logic programming language
Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.
A compact, efficient Prolog interpreter written in plain old C.
An open source Prolog interpreter in JavaScript
The Power of Prolog: Introduction to modern Prolog
A compiled actor-based programming language with type inference, designed for concurrent systems.
Unicode security guidelines for identifiers, following TR39 (and TR31)
Gambit is an efficient implementation of the Scheme programming language.