ishowta / DAG-ToDo
Simple TodoList with dependency expressed by DAG
☆12Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for DAG-ToDo
- ☆66Updated 6 years ago
- Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me☆140Updated 4 years ago
- 🎸 Find chords for any string instrument quicky & easily 🎸☆149Updated last year
- Idris Todo web application example☆42Updated last year
- A minimalistic, elegant and powerful approach to working with graphs in a functional programming language☆194Updated 3 years ago
- JavaScript library to turn Toki Pona text into the Sitelen Sitelen or Sitelen Suwi non-linear writing style.☆66Updated last year
- A relational interpretation of Lojban☆32Updated last week
- FPSheet: A Spreadsheet program with Haskell as the scripting language☆95Updated 3 years ago
- Haskell Framework for Electronic Music☆323Updated 3 weeks ago
- Universal Live Coding & Functional Reactive Programming Framework☆65Updated last week
- tool for creating and sharing annotations, using github for storage and social network☆87Updated 2 years ago
- My personal notes and memos about playing with NixOS on a Raspberry PI☆122Updated 2 years ago
- Supporting Impelementation for Haskell School of Music☆88Updated last year
- rslt, take five-ish☆149Updated 3 years ago
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell☆47Updated 2 years ago
- Documentation for Concur☆66Updated 5 months ago
- Tasty meal of Dhall☆66Updated last year
- A reference library for constraint-solving with propagators and CDCL.☆302Updated 4 months ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 4 years ago
- Folien und Übungsaufgaben für unsere Vorlesung☆26Updated 8 years ago
- Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp☆117Updated 7 years ago
- Material for the "Category Theory as a Tool for Thought" talk☆36Updated last year
- ☆9Updated 5 years ago
- A command-line manager for delicious kitchen recipes☆198Updated last year
- Literate Haskell support for Markdown☆135Updated 2 months ago
- Equational laws for free☆250Updated 7 months ago
- ☆47Updated 6 years ago
- ☆89Updated 2 years ago
- Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).☆102Updated 2 weeks ago
- A library for building bots compositionally.☆41Updated 9 months ago