jackfoxy/sequent jackfoxy/sequent

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language hoon
  • License
    MIT License
  • Created about 1 year ago
  • Updated 10 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jackfoxy/sequent
github

jackfoxy

Reviews

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

Repository Details

library of hoon list functions for mortal developers

More Repositories

1

DependentTypes

experiments with @robkuz LimitedValue type
F#
70
star
2

SpecifyingSystemsWithContents

Adding a table of contents to Specifying Systems, TLA+.pdf
63
star
3

FsRegEx

Composable regular expressions for F#
F#
27
star
4

urQL

RDBMS for Urbit
hoon
26
star
5

obelisk

hoon
8
star
6

FSharpx.Cmdlet

F# PowerShell Cmdlets
F#
7
star
7

DS_Benchmark

F# Data Structure Benchmarking
F#
7
star
8

RandomBits

.Net Standard Libray for random numbers from bits streamed from the ANU Quantum Random Numbers Server
F#
4
star
9

TestTest

bug between MSTest and FSharpx.DataStructures.DList.fold
F#
3
star
10

FunctionalLinearDataStructures

Example code for Lambda Jam 2013 talk
F#
2
star
11

TypedSicm

F# implementation of Structure and Interpretation of Classical Mechanics
F#
2
star
12

RandomBitsSolution

Engineering excercise in random bits from ANU
F#
2
star
13

LambdaCalc

Stripped-down parser using fslexyacc of the lambda calculus.
F#
2
star
14

Svcc2014Demo

demo code for "Functional Programming for Production Quality Code"
F#
1
star
15

EmguCvPlayground

EmguCv Playground
F#
1
star
16

AsyncPlayground

F# Async sandbox
F#
1
star
17

FuncPatternDemoSolution

Working with Functional Data Structures, Practical F# Application -- companion demos
F#
1
star
18

TestDependentTypes

Experiments in F# dependent types
F#
1
star
19

MultiTargetNuget

test of multi-target F# dotnet builds
F#
1
star
20

FSharpCascalogCore

Demonstration of problem with IKVM
F#
1
star
21

LetsMakeADeal

Bayes' Theorem in action on the Monty Hall problem - F#
F#
1
star
22

CrockSolution

F#
1
star