1-day current streak·28-day longest streak
https://repo.dannypsnl.me/dannypsnl
-
racket-langserver ★ PINNED ⑂
No description.
Racket ★ 0 10d agoExplain → -
tr ★ PINNED
A site generator based on a collection of racket/scribble programs.
Racket ★ 8 10d agoExplain → -
verse-calculus-redex ★ PINNED
Verse calculus (redex model)
Racket ★ 1 1mo agoExplain → -
typed-racket-eff ★ PINNED
typed/racket + effect system
Racket ★ 11 11mo agoExplain → -
sauron
A DrRacket plugin to make it experience like an IDE
Racket ★ 48 23d agoExplain → -
redux ▣
redux implementation in Go
Go ★ 45 4y agoExplain → -
write-a-programming-language
How to make a new language(and why we shouldn't?)
★ 40 3y agoExplain → -
plt-research
A collection of PLT researching
Racket ★ 28 1y agoExplain → -
rocket ▣
Light-weight web framework for Go
Go ★ 26 4y agoExplain → -
elz ▣
A polymorphism object-oriented programming language
Rust ★ 24 6y agoExplain → -
racket-llvm
racket llvm C-API bindings
Racket ★ 17 6mo agoExplain → -
violet-legacy
A programming language, half theorem prover
Lean ★ 12 2y agoExplain → -
minic
Minimalist compiler course, based on Essential of Compilation
OCaml ★ 11 1mo agoExplain → -
typed-nanopass
rebuild nanopass with typed supports
Racket ★ 11 4y agoExplain → -
k ▣
k theorem prover
Racket ★ 11 4y agoExplain → -
racket-tree-sitter
racket binding to tree-sitter
Racket ★ 10 1mo agoExplain → -
html2tree
converts HTML to valid forester tree syntax
JavaScript ★ 9 10d agoExplain → -
little-scheme ▣
A little scheme for playing SICP
Haskell ★ 8 6y agoExplain → -
agda-tree ▣
literate programming agda in forester
Rust ★ 7 1y agoExplain → -
cover-badge
A badge generator for coverage
Racket ★ 7 3y agoExplain → -
ecto_timescaledb
Provide extension to write TimescaleDB extended SQL.
Elixir ★ 7 4y agoExplain → -
avr-arduino-zig ⑂
Arduino using Zig!
Zig ★ 6 4y agoExplain → -
.github
GitHub workflow templates
★ 6 3y agoExplain → -
xnix
system setting for all *nix-like system
Lua ★ 6 2y agoExplain → -
eikyo ▣
polymorphsim language with mark system
Haskell ★ 6 3y agoExplain → -
scheme-to-arm64
A scheme to Arm64 compiler
Racket ★ 6 4y agoExplain → -
still-compiling ▣
Moved to https://codeberg.org/dannypsnl/still-compiling
Racket ★ 5 5mo agoExplain → -
webmentions_db
fetch and cache https://webmention.io, produces forester tree via mentions
Elixir ★ 4 1y agoExplain → -
control-spec
unit test framework for idris2
Idris ★ 4 1y agoExplain → -
kld
A simple x86/elf32 linker
C ★ 4 2y agoExplain → -
drracket-wakatime
Wakatime for DrRacket
Racket ★ 4 3y agoExplain → -
on ▣
A command line tool helps you execute commands base on a command context to avoid duplicate typing.
Go ★ 4 7y agoExplain → -
extend
An extension provider of llir/llvm
Go ★ 4 3y agoExplain → -
reporter
A util toolbox for compiler error reporting
Racket ★ 4 3y agoExplain → -
kubenet
Tiny Kubernetes to show how its network work
Go ★ 4 5y agoExplain → -
controllable-refinement
A refinement system with controllable predicate
TeX ★ 3 4y agoExplain → -
orgstand
A standalone TUI application to operate orgmode files, featuring a weekly agenda view and a comprehensive “All TODOs” view. This project is a prototype built entirely with Claude Code, so be aware that it may contain some hidden pitfalls.
Rust ★ 3 4mo agoExplain → -
raytracer ▣
racket raytracer
C++ ★ 3 10mo agoExplain → -
inductive ▣
Inductive construction
Racket ★ 3 6y agoExplain → -
formatted-string
Extends racket string to formatted string
Racket ★ 3 4y agoExplain → -
counter
A gen_server counter
Erlang ★ 3 5y agoExplain → -
dannypsnl
Whatever
★ 2 13d agoExplain → -
blackboard ▣
Do random math on computer.
Lean ★ 2 6mo agoExplain → -
zf4
A forth written in zig
Zig ★ 2 4y agoExplain → -
sidemath
Math formula WYSIWYG editor beside
JavaScript ★ 2 10mo agoExplain → -
algorithm
No description.
Dafny ★ 2 10mo agoExplain → -
register-vm
No description.
Zig ★ 2 4y agoExplain → -
algebraicgraph
Lean implementation of Algebraic Graphs with Class
Lean ★ 2 1y agoExplain → -
arend-template
No description.
Makefile ★ 2 2y agoExplain → -
wiggle-example
No description.
Jupyter Notebook ★ 2 1y agoExplain → -
jsoncard
Convert json from stdin (pipeline) to forester card
Nix ★ 2 1y agoExplain → -
cocoa
cocoa in racket
Racket ★ 2 4y agoExplain → -
AbstractAlgebra
Lectures of abstract algebra using agda
JavaScript ★ 1 5d agoExplain → -
agda ⑂
Agda is a dependently typed programming language / interactive theorem prover.
Haskell ★ 1 2mo agoExplain → -
nicegeo ⑂
No description.
OCaml ★ 1 2mo agoExplain → -
bcount
讓小模型（像是 gemma4:e4b）也能相對可靠的更新 beancount 檔案
Python ★ 1 3mo agoExplain → -
jsonrpc ▣
No description.
Racket ★ 1 6mo agoExplain → -
rich-editor
No description.
JavaScript ★ 1 8mo agoExplain → -
aya-template
No description.
Just ★ 1 1y agoExplain → -
arend
No description.
★ 1 3y agoExplain → -
amcr ⑂
abstract machine for classical realizability
★ 1 4y agoExplain → -
parsec-extra
No description.
Lean ★ 1 1y agoExplain → -
mathler
terminal version of mathler
Racket ★ 1 4y agoExplain → -
dumbtt
My dumb code
OCaml ★ 1 3y agoExplain → -
zig-on-mukava
No description.
Zig ★ 1 3y agoExplain → -
narya ⑂
A proof assistant for higher-dimensional type theory
OCaml ★ 0 6d agoExplain → -
model ⑂
Models of dependent type theory
Typst ★ 0 24d agoExplain → -
dprlr ⑂
Directed proof-relevant logical relations in simplicial HoTT
★ 0 1mo agoExplain → -
tr-vscode
VSCode extension for tr-notes
JavaScript ★ 0 29d agoExplain → -
counterexamples ⑂
Counterexamples in Type Systems
★ 0 3y agoExplain → -
agda-scrbl-lsp
No description.
TypeScript ★ 0 1mo agoExplain → -
elaboration-zoo ⑂
Minimal implementations for dependent type checking and elaboration
Haskell ★ 0 1mo agoExplain → -
yuujinchou ⑂
👹 A library for hierarchical names and lexical scoping
OCaml ★ 0 1mo agoExplain → -
cs7480-categories-for-pl ⑂
No description.
TeX ★ 0 1mo agoExplain → -
synthetait ⑂
Synthetic Tait computability formalisation attempts
Agda ★ 0 1mo agoExplain → -
agda-mode-vscode ⑂
agda-mode on VS Code
ReScript ★ 0 1mo agoExplain → -
sicp-pdf-taigi ⑂
Taigi (Taiwanese Hokkien) translation of SICP PDF with Texinfo and LaTeX source
Perl ★ 0 1mo agoExplain → -
cedar-py ⑂
Python bindings for the Cedar Policy project.
Python ★ 0 1mo agoExplain → -
internal-methods ⑂
Notes on how to use the internal language of toposes in algebraic geometry
★ 0 3mo agoExplain → -
snippets-TypeTopology
Snippets for using TypeTopology
★ 0 1mo agoExplain → -
the-little-prover
The little prover use shrubbery notation
Racket ★ 0 1mo agoExplain → -
gregr-verse ⑂
A racket implementation of the verse calculus
★ 0 2y agoExplain → -
flexunit
Software Design for Flexibility 的含 unit 運算
Erlang ★ 0 3mo agoExplain → -
staged ⑂
Staged compilation with dependent types
TeX ★ 0 3mo agoExplain → -
racket-zeromq ⑂
Racket bindings for ZeroMQ
★ 0 3mo agoExplain → -
mltt ⑂
Martin-Löf type theory as a QIIT in Agda (postulated OTT) + canonicity
★ 0 4mo agoExplain → -
elab-reloaded ⑂
A modern, principled toy implementation of dependent type theory
Haskell ★ 0 4mo agoExplain → -
smalltt ⑂
Demo for high-performance type theory elaboration
Lean ★ 0 5mo agoExplain → -
octopii ⑂
🦑 framework for building distributed systems
Rust ★ 0 5mo agoExplain → -
oraclemodality ⑂
No description.
★ 0 2y agoExplain → -
cs208-logic ⑂
Code and Materials for an interactive online course on Logic (part of Strathclyde's CS208 Logic and Algorithms module)
TeX ★ 0 6mo agoExplain → -
DCHoTT-Agda ⑂
Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality
★ 0 4y agoExplain → -
history ⑂
History of type theory (Chinese).
★ 0 1y agoExplain → -
idris2-quickdocs
No description.
JavaScript ★ 0 7mo agoExplain → -
dannypsnl.github.io
No description.
TypeScript ★ 0 7mo agoExplain → -
agda-tree-example
No description.
Python ★ 0 7mo agoExplain → -
LinearCategory
No description.
Agda ★ 0 7mo agoExplain → -
magic-racket ⑂
The best coding experience for Racket in VS Code
TypeScript ★ 0 11mo agoExplain → -
racket-find-references
Demo of racket find cross file references
Racket ★ 0 11mo agoExplain → -
scribble_learn
Learn flutter, use library scribble to create a simple drawing board
Dart ★ 0 11mo agoExplain → -
chatroom
No description.
Elixir ★ 0 1y agoExplain → -
html2scrbl
A web tool to convert input HTML to scribble/html
JavaScript ★ 0 1y agoExplain → -
todo
A TODO macro to insert at anywhere you haven't done.
Racket ★ 0 1y agoExplain → -
enotation
Extended s-notation
Rust ★ 0 1y agoExplain → -
typecafe2023
No description.
Just ★ 0 1y agoExplain → -
combinator-nbe ⑂
Normalization by evaluation of simply typed combinators.
★ 0 4y agoExplain → -
sitaram-operator
Tries out the limitation of Sitaram's operators.
Racket ★ 0 1y agoExplain → -
rekur
No description.
OCaml ★ 0 2y agoExplain → -
charity-lang ⑂
Charity language interpreters and literature
★ 0 7y agoExplain → -
hami2022
No description.
★ 0 2y agoExplain → -
lisboot
How to boot compiled scripting language
OCaml ★ 0 3y agoExplain → -
data-type
data type syntax for typed/racket
Racket ★ 0 4y agoExplain → -
qmk-keyboards
My keyboards' qmk configuration
C ★ 0 4y agoExplain → -
classical-logic
classical logic
Racket ★ 0 4y agoExplain → -
SteadyState.jl
No description.
Julia ★ 0 4y agoExplain → -
MachineLearning.jl
Machine Learning
Julia ★ 0 4y agoExplain → -
mini-theme
A DrRacket theme
Racket ★ 0 4y agoExplain →
No repos match these filters.