jack-pappas/sublime-fsharp jack-pappas/sublime-fsharp

  • Stars
    star
    7
  • Rank 2,223,857 (Top 46 %)
  • Language
  • License
    Other
  • Created over 11 years ago
  • Updated about 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jack-pappas/sublime-fsharp
github

jack-pappas

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

F# syntax highlighting for Sublime Text 2

More Repositories

1

ExtCore

An extended core library for F#.
F#
177
star
2

fsharp-logic-examples

Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.
F#
171
star
3

fsharp-tapl

Accompanying code for "Types and Programming Languages", ported to F#
F#
52
star
4

facio

Tools for building compilers, interpreters, and analysis tools in F#
F#
45
star
5

experimental-functors

An experiment at expressing functors in F# the .NET type system.
F#
17
star
6

NHol

An implementation of higher-order logic (HOL) in F#. Based on hol-light, Isabelle, and HOL4.
F#
11
star
7

fs-core-optimized

Optimized implementations of collections from the F# Core library (FSharp.Core)
F#
7
star
8

BBTrees

An F# implementation of weight-balanced binary search trees.
F#
5
star
9

facio-examples

Example projects using the facio compiler tools
F#
4
star
10

FSharp.Text.StructuredFormat

A pretty-printing library for F#.
F#
2
star
11

spsc-lite-fsharp

A Small Positive Supercompiler in F#
F#
2
star
12

CompilerTutorial

Exercises demonstrating various challenges in compiler-writing
F#
1
star