logankoester / docker-archlinux

Related projects: ⓘ

• pjotrp / nix-no-root
  Empowered Nix/Guix without root
  ☆35Updated 9 years ago
• SOM-st / RPySOM
  RPySOM - The Simple Object Machine Smalltalk implemented in RPython
  ☆15Updated 3 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 12 years ago
• archhaskell / cblrepo
  Tool to simplify managing a consistent set of Haskell packages for distributions.
  ☆38Updated 6 years ago
• puffnfresh / atsboot
  A tiny 32 bit kernel written in ATS
  ☆26Updated 10 years ago
• nikivazou / thesis
  Liquid Haskell: How to turn Haskell into a Theorem Prover
  ☆12Updated 7 years ago
• lokedhs / android-gnu-apl
  GNU APL port to Android
  ☆16Updated 9 years ago
• jamii / texsearch
  A search index specialised for LaTeX equations. Developed for latexsearch.com.
  ☆16Updated 13 years ago
• mboes / hmk
  A pure Haskell implementation of Plan9's mk
  ☆16Updated 8 years ago
• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆31Updated 11 years ago
• purcell / darcs-to-git
  Convert/mirror darcs repos into git repos
  ☆96Updated 4 months ago
• mbork / ox-oddmuse
  Emacs Org-mode exporter for Oddmuse
  ☆9Updated 6 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 2 years ago
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 11 years ago
• bergey / org-babel-diagrams
  embed haskell diagrams in emacs org-mode files
  ☆10Updated 8 years ago
• texodus / forml
  A programming language
  ☆76Updated 11 years ago
• soegaard / meta
  Exploration of the inner workings of Racket
  ☆19Updated 8 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆18Updated 5 years ago
• ruliana / racket-examples
  Examples of the nice parts of Racket
  ☆22Updated 6 years ago
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 8 years ago
• TikhonJelvis / Cow
  Semantic Version Control mk II.
  ☆37Updated 4 years ago
• telent / nix-local
  local packages for nix/nixos
  ☆16Updated 6 years ago
• rejuvyesh / papers
  git-annex repo of papers
  ☆12Updated 8 years ago
• liyang / fast-math
  Play fast and loose with IEEE-754 rewrite RULES
  ☆26Updated 9 years ago
• swaywm / hsroots
  A Haskell wrapper/binding to wlroots
  ☆39Updated 5 years ago
• MathHubInfo / Legacy-planetary
  Legacy: Planetary System is a math-enabled Web 3.0 information portal.
  ☆79Updated 8 years ago
• eugeneia / geneva
  Geneva: portable document preparation system
  ☆9Updated 7 years ago
• lunaryorn / blog
  ☆10Updated this week
• octotep / racket-slack-api
  Racket bindings for the Slack API
  ☆10Updated 5 years ago