kongo2002 / fsharp-vimLinks
Vim runtime files for F# (fsharp)
☆45Updated 11 years ago
Alternatives and similar repositories for fsharp-vim
Users that are interested in fsharp-vim are comparing it to the libraries listed below
Sorting:
- F# bindings for vim☆142Updated 5 years ago
- Archive of F# Language Bindings for Open Editors☆307Updated 8 years ago
- [ARCHIVED] Yeoman F# generator☆62Updated 3 years ago
- (No longer Used) F# Editing Support In MonoDevelop and Xamarin Studio☆28Updated 7 years ago
- Haskell implementation of Mustache template☆96Updated 7 years ago
- Slides from my recent talks on data science, data journalism, F#, programming language research and philosophy.☆93Updated last month
- A secure web framework, built in the Idris language.☆110Updated 11 years ago
- Idris mode for vim☆221Updated 5 years ago
- XSharpX is a general library for functional programming using .NET languages.☆30Updated 9 years ago
- Elm + F#☆16Updated 9 years ago
- ☆94Updated 9 years ago
- Different type inference algorithms implemented in F#☆163Updated 4 years ago
- Purely functional, persistent and efficient vector and hash-map data structures for Haskell☆46Updated 8 years ago
- ncurses binding for Haskell☆63Updated 5 months ago
- Links to some of my publications☆40Updated 11 months ago
- A Common Intermediate Language backend for Idris 1☆133Updated 7 years ago
- Framework for running and organising QuickCheck test properties and HUnit test cases☆83Updated 7 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆61Updated 8 years ago
- Higher-kinded programming in OCaml☆190Updated 2 weeks ago
- coc.nvim integration for fsharp-language-server☆32Updated 3 years ago
- A tutorial to the Idris Programming Language.☆95Updated 10 years ago
- Server for stable, curated Haskell package sets☆109Updated 2 months ago
- (Haskell) Web application server with stateful, type safe user interactions and widget combinators☆101Updated 10 years ago
- Let's Build a Compiler - An educational compiler built from scratch in F#, inspired by Jack Crenshaw's 1988 Pascal code☆49Updated 11 years ago
- A sinatra-ish framework written in haskell, riding on top of Hack☆56Updated 15 years ago
- Experiments in Idris / Unity integration.☆49Updated 9 years ago
- Compile Idris to Vimscript, like you always wanted.☆132Updated 8 years ago
- A fast HTTP server library, which runs Snap web handlers.☆196Updated last year
- A starter-kit for the Scotty web framework☆65Updated 7 years ago
- Learning project by a group of people interested in learning the Idris language☆51Updated 10 years ago