DrearyLisper / aoc-2021

Related projects ⓘ

Alternatives and complementary repositories for aoc-2021

• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆30Updated last year
• fizruk / fpconf-2017-talk
  Материалы доклада «Функциональная виртуальная реальность: WebVR + Haskell» на FPConf 2017.
  ☆9Updated 6 years ago
• rackt-org / rackt
  An ultrasmall (~70 loc) React wrapper written in RacketScript
  ☆58Updated last year
• dzaima / aoc
  My Advent of Code solutions
  ☆22Updated 10 months ago
• zaitsev85 / message-from-space
  ☆34Updated last year
• gridbugs / llama
  Library for declaratively building software-defined modular synthesizers in OCaml
  ☆50Updated last year
• jackfirth / resyntax
  A Racket refactoring engine
  ☆58Updated this week
• janestreet / ppx_jane
  Standard Jane Street ppx rewriters
  ☆31Updated last week
• bravit / idris-cs-hse
  «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ
  ☆46Updated 6 years ago
• ats-lang / ats-lang.github.io
  For hosting certain parts of http://www.ats-lang.org
  ☆26Updated last year
• mindylou / legend-of-zolda
  OCaml implementation of a NES Legend of Zelda-style browser-based game
  ☆27Updated 3 years ago
• typeable / nix-pills-ru
  Вольный пересказ nix-pills на русском языке
  ☆9Updated 5 years ago
• xoposhiy / aoc
  ☆11Updated 10 months ago
• savonet / ocaml-mm
  OCaml multimedia library
  ☆34Updated 3 weeks ago
• 4e6 / nanoid-hs
  Haskell implementation of Nanoid, secure URL-friendly unique ID generator.
  ☆20Updated 6 years ago
• ianthehenry / ocamlsyntax.com
  How do you do that recursive GADT thing again?
  ☆27Updated 8 months ago
• bertas / hm_prolog
  A Hindley-Milner type inference implementation in Prolog
  ☆13Updated 9 years ago
• arcfide / Haven
  Your happy place for learning APL
  ☆16Updated last year
• DoctorRyner / gimel
  A PureScript UI library built upon the react
  ☆10Updated 2 years ago
• countvajhula / cli
  A language for writing command line interfaces in Racket
  ☆15Updated 2 years ago
• mighty-gerbils / gerbil-utils
  Collection of Utilities for Gerbil Scheme
  ☆43Updated 3 months ago
• Drup / fugit
  A small CLI to launch notifications at a given time
  ☆13Updated 4 years ago
• groupoid / anders
  🧊 Модальний гомотопічний верифікатор математики
  ☆19Updated 3 months ago
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆30Updated 4 years ago
• o3 / n2o
  ⭕️ N2O: Haskell Application Server
  ☆48Updated 2 years ago
• astynax / hemmet
  Emmet-like text expansion tool capable to produce HTML, CSS, file trees, that stuff
  ☆20Updated 2 months ago
• serokell / blog-posts
  The place for submitting new articles to the Serokell blog.
  ☆16Updated 8 months ago
• jjlee / rescript-mode
  A major mode for editing ReScript
  ☆42Updated 2 months ago
• kana-sama / rumilewski
  ☆10Updated 4 years ago