Pinned Repositories
bertrand
A purely functional, logic programming language (under development)
block-hs
Visual programming environment for Haskell
blog
CelAnimate
CelAnimate_old
eagle-lib
Some Eagle libraries
elm-json-convert
Writing JSON encoder and decoder at once in Elm
holonc
howard
An experimental dependency typed functional programming language and proof assistant
Struere
Structural Editor
fujiy's Repositories
fujiy/bertrand
A purely functional, logic programming language (under development)
fujiy/CelAnimate_old
fujiy/elm-json-convert
Writing JSON encoder and decoder at once in Elm
fujiy/holonc
fujiy/howard
An experimental dependency typed functional programming language and proof assistant
fujiy/Struere
Structural Editor
fujiy/block-hs
Visual programming environment for Haskell
fujiy/blog
fujiy/CelAnimate
fujiy/eagle-lib
Some Eagle libraries
fujiy/ESP32PrototypeBoard
The ESP32 Development board with prototyping circuit area
fujiy/FlameLED
fujiy/Gaufre
A project and data management tool for anime production
fujiy/holon
fujiy/holon-proto
fujiy/holon-vm
fujiy/homebridge-my
A Homebridge plugin just for my home
fujiy/howard_old
Experimental functional programming language and proof assistant
fujiy/K16
Original 16bit CPU
fujiy/logmem
Simple memo/todo/log tool
fujiy/ModularNixie
A Nixie clock with modular based design
fujiy/passgen
fujiy/RollScreens
fujiy/tableaux
fujiy/verilog