Discover @dannypsnl Open Source projects

Lîm Tsú-thuàn (@dannypsnl)

dannypsnl

Stars
405
Global Rank 67,869 (Top 3 %)
Followers 317
Following 131
Registered almost 8 years ago
Most used languages

Racket
42.2 %

Go
11.1 %

OCaml
8.9 %

Lean 6.7 %

Zig
6.7 %

Haskell
4.4 %

TeX
4.4 %

Erlang
2.2 %

Makefile 2.2 %

Elixir
2.2 %

Rust
2.2 %

C
2.2 %

Idris 2.2 %

Lua
2.2 %
Location 🇹🇼 Taiwan
Country Total Rank 386
Country Ranking

Lean 1

Racket
1

Idris 2

OCaml
2

Zig
3

Elixir
7

Haskell
7

Erlang
8

Rust
21

Lua
41

TeX
43

Go
45

Makefile 118

C
530

sauron

A DrRacket plugin to make it experience like an IDE

redux

redux implementation in Go

write-a-programming-language

How to make a new language(and why we shouldn't?)

plt-research

A collection of PLT researching

rocket

Light-weight web framework for Go

elz

A polymorphism object-oriented programming language

racket-llvm

racket llvm C-API bindings

violet

A programming language, half theorem prover

typed-nanopass

rebuild nanopass with typed supports

k

k theorem prover

minic

Minimalist compiler course, based on Essential of Compilation

racket-tree-sitter

racket binding to tree-sitter

ecto_timescaledb

Provide extension to write TimescaleDB extended SQL.

little-scheme

A little scheme for playing SICP

xnix

system setting for all *nix-like system

eikyo

polymorphsim language with mark system

scheme-to-arm64

A scheme to Arm64 compiler

cover-badge

A badge generator for coverage

.github

GitHub workflow templates

on

A command line tool helps you execute commands base on a command context to avoid duplicate typing.

controllable-refinement

A refinement system with controllable predicate

reporter

A util toolbox for compiler error reporting

extend

An extension provider of llir/llvm

kubenet

Tiny Kubernetes to show how its network work

drracket-wakatime

Wakatime for DrRacket

kld

A simple x86/elf32 linker

inductive

Inductive construction

counter

A gen_server counter

control-spec

unit test framework for idris2

formatted-string

Extends racket string to formatted string

raytracer

racket raytracer

math-note

cocoa

cocoa in racket

dannypsnl

parsec-extra

Lean Parsec extra

still-compiling

It's still...compiling

jsoncard

Convert json from stdin (pipeline) to forester card

arend-template

zig-on-mukava

data-type

data type syntax for typed/racket

useless-math

Useless math here!

lsp

language server protocol

algebraicgraph

Lean implementation of Algebraic Graphs with Class

headvariant

zf4

A forth written in zig

dumbtt

register-vm

mathler

terminal version of mathler

note