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☆308Updated 7 years ago
- (No longer Used) F# Editing Support In MonoDevelop and Xamarin Studio☆28Updated 7 years ago
- [ARCHIVED] Yeoman F# generator☆62Updated 3 years ago
- Slides from my recent talks on data science, data journalism, F#, programming language research and philosophy.☆93Updated 2 weeks ago
- ncurses binding for Haskell☆62Updated 4 months ago
- coc.nvim integration for fsharp-language-server☆32Updated 3 years ago
- A Common Intermediate Language backend for Idris 1☆134Updated 7 years ago
- Elm + F#☆16Updated 9 years ago
- Different type inference algorithms implemented in F#☆163Updated 4 years ago
- Links to some of my publications☆40Updated 10 months ago
- XSharpX is a general library for functional programming using .NET languages.☆30Updated 9 years ago
- fsharp tutorials: *nix, docker, vim, mono, paket, oh my!☆36Updated 8 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆61Updated 8 years ago
- A starter-kit for the Scotty web framework☆65Updated 7 years ago
- colorize ghci output☆74Updated 3 years ago
- ☆94Updated 9 years ago
- Haskell implementation of Mustache template☆96Updated 7 years ago
- ☆15Updated 10 years ago
- experiments with @robkuz LimitedValue type☆71Updated 6 years ago
- Idris mode for vim☆221Updated 5 years ago
- Compositional Query Framework for F# Queries, based on "A Practical Theory of Language-Integrated Query"☆70Updated 6 years ago
- Deprecated: Please use Forge: https://github.com/fsharp-editing/Forge☆21Updated 7 years ago
- Companion software for the book Learn F#☆16Updated 7 years ago
- ☆15Updated 9 years ago
- A logic programming library for F#☆46Updated 10 years ago
- Purely functional, persistent and efficient vector and hash-map data structures for Haskell☆46Updated 8 years ago
- 2048 in Idris☆123Updated 8 years ago
- Server for stable, curated Haskell package sets☆109Updated 3 weeks ago
- A secure web framework, built in the Idris language.☆110Updated 11 years ago