licynthiax

they. but how easy and how hopeless to teach such fine things!

Pinned Repositories

interactive-lp
Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.
Language:Standard ML276 25 727
neovim-gtk
gtk ui for neovim
Language:Rust719 25 22257
asterism
A game engine engine built on the theory of operational logics
Language:Rust72
luminance-rs
Type-safe, type-level and stateless Rust graphics framework
Language:Rust1.1k 25 28659
asterism
A game engine engine built on the theory of operational logics
Language:Rust0 0 00
ceptre
fork of ceptre for asterism. (mirror of personal/private repo)
Language:Standard ML0 0 00
ceptre-rs
parser(?) from ceptre to rust
Language:Rust00
licynthiax
00
rust
Empowering everyone to build reliable and efficient software.
Language:Rust99.5k 1.5k 55.7k12.8k
Coqtail
Interactive Coq Proofs in Vim
Language:Python274 7 17334

licynthiax's Repositories

licynthiax/asterism
A game engine engine built on the theory of operational logics
Language:Rust0 0 00
licynthiax/ceptre
fork of ceptre for asterism. (mirror of personal/private repo)
Language:Standard ML0 0 00
licynthiax/ceptre-rs
parser(?) from ceptre to rust
Language:Rust00
licynthiax/licynthiax
00