kongo2002 / fsharp-vim

Related projects: ⓘ

• palladin / logic
  A logic programming library for F#
  ☆45Updated 9 years ago
• lymar / hastache
  Haskell implementation of Mustache template
  ☆96Updated 6 years ago
• piyush-kurur / yesod-admin
  Abandoned: An yesod based admin for persistent objects
  ☆16Updated 5 years ago
• exclipy / pdata
  Purely functional, persistent and efficient vector and hash-map data structures for Haskell
  ☆45Updated 6 years ago
• idris-hackers / IdrisWeb
  A secure web framework, built in the Idris language.
  ☆109Updated 10 years ago
• polytypic / JoinCML
  ☆15Updated 9 years ago
• fsharp / zarchive-xamarin-monodevelop-fsharp-addin
  (No longer Used) F# Editing Support In MonoDevelop and Xamarin Studio
  ☆27Updated 6 years ago
• ToJans / idris101
  Learning project by a group of people interested in learning the Idris language
  ☆51Updated 9 years ago
• bamboo / IdrisUnityPlayground
  Experiments in Idris / Unity integration.
  ☆49Updated 7 years ago
• scotty-web / scotty-starter
  A starter-kit for the Scotty web framework
  ☆64Updated 6 years ago
• bos / snappy
  Fast Haskell bindings to Google's Snappy compression library
  ☆31Updated last year
• skogsbaer / hscurses
  ncurses binding for Haskell
  ☆60Updated 8 years ago
• nfjinjing / miku
  ☆54Updated this week
• chrisdone / haskell-style-guide
  ☆94Updated 8 years ago
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 8 years ago
• jack-pappas / experimental-functors
  An experiment at expressing functors in F# the .NET type system.
  ☆17Updated 10 years ago
• KesterTong / idris2048
  2048 in Idris
  ☆121Updated 6 years ago
• agocorona / MFlow
  (Haskell) Web application server with stateful, type safe user interactions and widget combinators
  ☆100Updated 8 years ago
• psylinse / light-haskell
  Haskell plugin for LightTable
  ☆114Updated 9 years ago
• snoyberg / classy-prelude
  A typeclass-based Prelude.
  ☆108Updated 8 years ago
• sourrust / karver
  A simple template engine inspired by jinja2
  ☆23Updated 9 years ago
• bamboo / idris-cil
  A Common Intermediate Language backend for Idris 1
  ☆131Updated 5 years ago
• edwinb / SDL-idris
  SDL bindings package for idris
  ☆46Updated 4 years ago
• david-christiansen / idris-quickcheck
  A port of QuickCheck to Idris
  ☆57Updated 6 years ago
• batterseapower / test-framework
  Framework for running and organising QuickCheck test properties and HUnit test cases
  ☆83Updated 6 years ago
• sdiehl / llvm-tutorial-standalone
  DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )
  ☆37Updated 7 years ago
• creswick / cabal-dev
  A wrapper program around cabal and cabal-install that maintains sandboxed build environments.
  ☆150Updated 9 years ago
• AshleyF / FScheme
  Scheme interpreter in F#
  ☆54Updated last year
• fsprojects-archive / zzarchive-generator-fsharp
  [ARCHIVED] Yeoman F# generator
  ☆62Updated 2 years ago
• moonmaster9000 / bird
  A sinatra-ish framework written in haskell, riding on top of Hack
  ☆57Updated 13 years ago