dannypsnl/jsoncard dannypsnl/jsoncard

  • Stars
    star
    2
  • Language
    OCaml
  • Created 5 months ago
  • Updated 5 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dannypsnl/jsoncard
github

dannypsnl

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Convert json from stdin (pipeline) to forester card

More Repositories

1

sauron

A DrRacket plugin to make it experience like an IDE
Racket
48
star
2

redux

redux implementation in Go
Go
46
star
3

write-a-programming-language

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

plt-research

A collection of PLT researching
Racket
28
star
5

rocket

Light-weight web framework for Go
Go
26
star
6

elz

A polymorphism object-oriented programming language
Rust
24
star
7

racket-llvm

racket llvm C-API bindings
Racket
16
star
8

violet

A programming language, half theorem prover
Lean
12
star
9

typed-nanopass

rebuild nanopass with typed supports
Racket
11
star
10

k

k theorem prover
Racket
11
star
11

minic

Minimalist compiler course, based on Essential of Compilation
OCaml
10
star
12

racket-tree-sitter

racket binding to tree-sitter
Racket
9
star
13

ecto_timescaledb

Provide extension to write TimescaleDB extended SQL.
Elixir
7
star
14

little-scheme

A little scheme for playing SICP
Haskell
7
star
15

xnix

system setting for all *nix-like system
Lua
6
star
16

eikyo

polymorphsim language with mark system
Haskell
6
star
17

scheme-to-arm64

A scheme to Arm64 compiler
Racket
6
star
18

cover-badge

A badge generator for coverage
Racket
6
star
19

.github

GitHub workflow templates
5
star
20

on

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

controllable-refinement

A refinement system with controllable predicate
TeX
4
star
22

reporter

A util toolbox for compiler error reporting
Racket
4
star
23

extend

An extension provider of llir/llvm
Go
4
star
24

kubenet

Tiny Kubernetes to show how its network work
Go
4
star
25

drracket-wakatime

Wakatime for DrRacket
Racket
4
star
26

kld

A simple x86/elf32 linker
C
4
star
27

inductive

Inductive construction
Racket
3
star
28

counter

A gen_server counter
Erlang
3
star
29

control-spec

unit test framework for idris2
Idris
3
star
30

formatted-string

Extends racket string to formatted string
Racket
3
star
31

raytracer

racket raytracer
Racket
3
star
32

cocoa

cocoa in racket
Racket
2
star
33

dannypsnl

Whatever
2
star
34

math-note

TeX
2
star
35

parsec-extra

Lean Parsec extra
Lean
2
star
36

still-compiling

It's still...compiling
Racket
2
star
37

arend-template

Makefile
1
star
38

zig-on-mukava

Zig
1
star
39

data-type

data type syntax for typed/racket
Racket
1
star
40

useless-math

Useless math here!
Racket
1
star
41

lsp

language server protocol
Racket
1
star
42

algebraicgraph

Lean implementation of Algebraic Graphs with Class
Lean
1
star
43

headvariant

OCaml
1
star
44

zf4

A forth written in zig
Zig
1
star
45

dumbtt

My dumb code
OCaml
1
star
46

register-vm

Zig
1
star
47

mathler

terminal version of mathler
Racket
1
star