jack-pappas/NHol jack-pappas/NHol

  • Stars
    star
    11
  • Rank 1,642,349 (Top 34 %)
  • Language
    F#
  • License
    Apache License 2.0
  • Created almost 11 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jack-pappas/NHol
github

jack-pappas

Reviews

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

Repository Details

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

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

sublime-fsharp

F# syntax highlighting for Sublime Text 2
7
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