holoed/LambdaCalculus holoed/LambdaCalculus

  • Stars
    star
    1
  • Language
    F#
  • License
    Microsoft Public ...
  • Created about 10 years ago
  • Updated about 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
holoed/LambdaCalculus
github

holoed

Reviews

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

Repository Details

Introduced by Alonzo Church and his student Stephen Cole Kleene in the 1930s to study computable functions. A (very simple) formal system for defining functions and their operational meanings, yet is shown to be as powerful as other systems.

More Repositories

1

ChromeCast_ReactNative

Chormecast Videos from JavaScript in React Native
JavaScript
61
star
2

JuniorNative

A Functional Language that compiles to JavaScript
Haskell
2
star
3

Purescript-Rx-Experiments

PureScript
2
star
4

Reactron

React API for Atom Electron
2
star
5

GHCJS-rxjs

RxJS Bindings
2
star
6

SymbolicDifferentiation

Simple C#/F# library for Symbolic Differentiation and whatever else comes to mind ;)
C#
2
star
7

FunctionalCSharp

Simple Functional Programming Library for C#. It introduces several features found in programming languages like F#. It is built in a compositional fashion starting from Pattern Matching and building on that to support Object Expressions, Tuples, Active Patterns, ADTs.
C#
2
star
8

Junior

Very Simple Functional Language
Haskell
1
star
9

AwesomeProject

Experiments using React Native on iOS
JavaScript
1
star
10

WatchApp

Experiments with Android Wear
Java
1
star
11

SearchEngine

Very simple search engine
Haskell
1
star
12

react-experiments

JavaScript
1
star
13

HaskellExperiments

Haskell Experiments
Haskell
1
star
14

JuniorNativeIDE

Quick and dirty Web IDE for JuniorNative
HTML
1
star
15

PVRConsole

Simple PVR Console command for TVHeadend
Haskell
1
star
16

MetaDataLoader

JavaScript
1
star
17

Purescript-Parsers-Experiments

PureScript
1
star
18

FSharpRefactor

Designed to bring Code Refactoring capabilities to the F# Language in Visual Studio 2010.
F#
1
star
19

SearchEnginePureScript

Experiments building an Inverted Index in PureScript
PureScript
1
star
20

JavaScriptExperiments

Playing around with JavaScript ideas.
JavaScript
1
star
21

JuniorReact

TypeScript
1
star
22

SharpMaLib

Unified collection of Monads (M, unit, *) implemented in the Microsoft F# Language.
F#
1
star
23

RxLiveMorseCode

Live Morse Code Translation using Reactive Extensions.
C#
1
star
24

BrickPi_Haskell

BrickPi Library in Haskell
Haskell
1
star
25

RxBuilder

Experiments in working with Reactive Extensions in F#
F#
1
star
26

Rx.hs

Experimental Implementation of Rx Combinators Library in Haskell
Haskell
1
star
27

ClosuresC

Experimenting with simple Closure implementation for Junior Language
C
1
star