april cyberglot
5 followers · 7 following
Repositories
16
 Projects Packages Starred repositories
9
Filter
Sort
cyberglot
PostScript 0 0
Updated 2026-08-07 13:14:07 +00:00
zmk-config
0 0
Updated 2025-03-09 19:03:23 +00:00
macOS.nix
Nix 0 0
Updated 2025-01-27 23:47:42 +00:00
faeth
Agda 0 0
algebraic typechecking and elaboration of type systems
Updated 2025-01-25 22:47:38 +00:00
devenv-haskell-error
Nix 0 0
Updated 2024-12-25 17:15:58 +00:00
lean4-playground
Lean 0 0
Updated 2024-06-03 12:28:04 +00:00
locm-proto
Haskell 0 0
Updated 2023-09-29 20:14:51 +00:00
a-journey-towards-unification
Haskell 0 0
unfortunately not a tale about social changes
Updated 2023-09-20 11:36:04 +00:00
idris2-spacemacs
Emacs Lisp 0 0
It may work, use at your own discretion.
Updated 2023-05-04 15:32:59 +00:00
hands-on-rust
Rust 0 0
Updated 2023-02-16 00:55:14 +00:00
hayo-s-in-haskell
Haskell 0 0
Hayo Thielecke's PhD thesis SML '93 code translated into simple Haskell
Updated 2022-07-29 21:08:57 +00:00
jsq
Haskell 0 0
Metaprogramming JavaScript... in Haskell. A fork of jmacro
Updated 2021-11-17 10:51:17 +00:00
learning-plt-redex
Racket 0 0
Updated 2021-01-19 12:06:54 +00:00
typed-lvar
Agda 0 0
semantics, typing rules and proofs of a call-by-value parallel calculus with LVars.
Updated 2020-12-10 18:57:07 +00:00
elmstatic-hyde
CSS 0 0
Updated 2020-12-02 21:18:09 +00:00