Gordon Tisher's repositories
pony-kanren
An implementation of microKanren for Pony.
advent_of_code_2018
Advent of Code 2018 (in Pony)
advent_of_code_2022
Advent of Code 2022
iocp_experiments
Some code to experiment with sockets and IOCP on Windows
kiuatan-calculator
An example of using the Kiuatan parser generator library.
ponyc-windows-libs
Windows libraries needed for PonyC.
advent_of_code_2019
Advent of Code 2019
advent_of_code_2021
Advent of Code 2021
austral
Systems language with linear types and capability-based security.
Language:OCamlApache-2.0000
kulibali.github.io
Documentation for projects.
pony-champ-map
Persistent maps using Compressed Hash-Array-Mapped Tries.
ponyc-rfcs
:horse: RFCs for changes to Pony
Language:Shell000
ponylang.github.io
The ponylang.org website
Language:HTMLBSD-2-Clause000
verona
Research programming language for concurrent ownership
Language:C++MIT000