kongo2002 / fsharp-vim
Vim runtime files for F# (fsharp)
☆44Updated 10 years ago
Related projects ⓘ
Alternatives and complementary repositories for fsharp-vim
- A logic programming library for F#☆45Updated 9 years ago
- ncurses binding for Haskell☆61Updated 9 years ago
- (No longer Used) F# Editing Support In MonoDevelop and Xamarin Studio☆27Updated 6 years ago
- Purely functional, persistent and efficient vector and hash-map data structures for Haskell☆45Updated 6 years ago
- A starter-kit for the Scotty web framework☆64Updated 6 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 9 years ago
- Abandoned: An yesod based admin for persistent objects☆16Updated 5 years ago
- NaturalSpec☆82Updated 11 years ago
- experiments with @robkuz LimitedValue type☆70Updated 5 years ago
- ☆15Updated 9 years ago
- [ARCHIVED] Yeoman F# generator☆62Updated 2 years ago
- ☆94Updated 8 years ago
- A secure web framework, built in the Idris language.☆109Updated 10 years ago
- A port of QuickCheck to Idris☆57Updated 7 years ago
- Experiments in Idris / Unity integration.☆49Updated 8 years ago
- A sinatra-ish framework written in haskell, riding on top of Hack☆57Updated 13 years ago
- F# bindings for vim☆143Updated 4 years ago
- An experiment at expressing functors in F# the .NET type system.☆17Updated 10 years ago
- (Haskell) Web application server with stateful, type safe user interactions and widget combinators☆100Updated 9 years ago
- Fing: F# API Search☆38Updated 5 years ago
- Deprecated: Please use Forge: https://github.com/fsharp-editing/Forge☆21Updated 6 years ago
- A purely-functional random number generator framework designed for F#☆52Updated 4 years ago
- Haskell implementation of Mustache template☆96Updated 6 years ago
- Fast Haskell bindings to Google's Snappy compression library☆31Updated last year
- Archive of F# Language Bindings for Open Editors☆307Updated 6 years ago
- Compositional Query Framework for F# Queries, based on "A Practical Theory of Language-Integrated Query"☆67Updated 5 years ago
- A library for fast reflective updates to immutable data trees☆19Updated 6 years ago
- Links to some of my publications☆38Updated 10 months ago
- 2048 in Idris☆121Updated 6 years ago