kongo2002 / fsharp-vim
Vim runtime files for F# (fsharp)
☆44Updated 10 years ago
Alternatives and similar repositories for fsharp-vim:
Users that are interested in fsharp-vim are comparing it to the libraries listed below
- ncurses binding for Haskell☆61Updated this week
- [ARCHIVED] Yeoman F# generator☆62Updated 2 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 9 years ago
- A logic programming library for F#☆45Updated 9 years ago
- A secure web framework, built in the Idris language.☆109Updated 10 years ago
- Abandoned: An yesod based admin for persistent objects☆16Updated 5 years ago
- NaturalSpec☆82Updated 12 years ago
- (No longer Used) F# Editing Support In MonoDevelop and Xamarin Studio☆27Updated 6 years ago
- Experiments in Idris / Unity integration.☆49Updated 8 years ago
- Purely functional, persistent and efficient vector and hash-map data structures for Haskell☆46Updated 7 years ago
- Fast Haskell bindings to Google's Snappy compression library☆31Updated 2 years ago
- F# bindings for vim☆144Updated 4 years ago
- ☆94Updated 8 years ago
- Collection of various Haskell web benchmarks☆44Updated 11 years ago
- The Haskell Refactoring Tool☆139Updated 7 years ago
- DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )☆37Updated 7 years ago
- Scheme interpreter in F#☆55Updated last year
- Archive of F# Language Bindings for Open Editors☆307Updated 6 years ago
- ☆15Updated 9 years ago
- Links to some of my publications☆38Updated last year
- A proper network library for Idris, now that I know what I'm doing.☆58Updated 8 years ago
- A sinatra-ish framework written in haskell, riding on top of Hack☆57Updated 14 years ago
- Fing: F# API Search☆38Updated 5 years ago
- A starter-kit for the Scotty web framework☆64Updated 6 years ago
- Haskell implementation of Mustache template☆97Updated 6 years ago
- Utility library [Haskell]☆88Updated 4 months ago
- A Common Intermediate Language backend for Idris 1☆133Updated 6 years ago
- A simple F# utility for testing performance☆33Updated 5 years ago
- Typesafe URLs for Haskell Wai applications☆42Updated 11 months ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago