Explore @dannypsnl-fork Open Source projects

@dannypsnl-fork

dannypsnl-fork

Stars
13
Global Org. Rank 140,636 (Top 45 %)
Registered about 3 years ago
Most used languages

Racket
53.3 %

Julia
6.7 %

Idris 6.7 %

Python
6.7 %

Go
6.7 %

Elixir
6.7 %

OCaml
6.7 %

Kotlin
6.7 %

code-analyzer

Racket code analysis

typical

A very simple module's language for theorem proving

semi

re-algo

A simple algorithm developing tool

incr

inductive based on introduction/elimination rules

jsonrpc

jsonrpc: client and server

vessel

DeZero

idris-gtk

Idris2 GTK binding

try_phx

practice Phoenix project

starttt

Start a type theory

compiler-frontend

compiler frontend foundation for manual parsing

kotlin-line-bot-example

Nanopass.jl

Nanopass in Julia

no-lang