fbergo / zseal

Related projects ⓘ

Alternatives and complementary repositories for zseal

• nionita / Barbarossa
  Chess engine entirely written in Haskell
  ☆47Updated last week
• veloce / cordova-plugin-stockfish
  Cordova interface for the Stockfish chess engine
  ☆10Updated 3 years ago
• haskell / math-functions
  Special mathematical functions
  ☆40Updated 7 months ago
• silentbicycle / skel
  tiny command-line skeleton/snippet thing
  ☆21Updated 6 years ago
• GaloisInc / icfpcontest2015
  The 2015 ICFP Programming Contest
  ☆7Updated 9 years ago
• valderman / shellmate
  Write type-safe shell scripts in Haskell
  ☆14Updated 4 years ago
• tromp / tromp.github.io
  John Tromp homepage
  ☆21Updated this week
• GaloisInc / argo
  A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW
  ☆15Updated last month
• mboes / hmk
  A pure Haskell implementation of Plan9's mk
  ☆16Updated 8 years ago
• andychu / bwk
  Kernighan's Awk a.k.a. "One True Awk"
  ☆55Updated 8 years ago
• arcfide / Haven
  Your happy place for learning APL
  ☆16Updated last year
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆18Updated 5 years ago
• visq / llvm-regexp
  Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM
  ☆14Updated 14 years ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated last year
• dzaima / aoc
  My Advent of Code solutions
  ☆22Updated 10 months ago
• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 3 years ago
• markus1189 / dyalog-nixos
  Run dyalog APL and RIDE on nixos
  ☆21Updated 5 months ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆33Updated 4 months ago
• deech / shen-rust
  ☆34Updated 5 years ago
• DRMacIver / each
  A small batch processing utlity
  ☆12Updated 2 years ago
• dlaurie / lua-apl
  APL-like functions for use from Lua.
  ☆17Updated 9 years ago
• archhaskell / archlinux
  ☆24Updated 9 years ago
• zsparks / scheme-dep
  A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
  ☆8Updated 10 years ago
• fpco / haskell-filesystem
  Contains the system-filepath and system-fileio packages
  ☆9Updated last year
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆27Updated 2 years ago
• myter / CAPtain
  Integrating the CAP theorem into distributed language design.
  ☆12Updated 5 years ago
• ziman / bibdris
  BibTeX database management in Idris
  ☆18Updated 10 years ago