Discover VictorTaelin/lambda-calculus Open Source project

Stars
44
Rank 634,578 (Top 13 %)
Language
JavaScript
License
MIT License
Created about 8 years ago
Updated almost 2 years ago

VictorTaelin

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

A simple, clean and fast implementation of the λ-calculus on JavaScript.

WebMonkeys

Massively parallel GPU programming on JavaScript, simple and clean.

JavaScript

1,163

LJSON

JSON extended with pure functions.

JavaScript

500

Caramel

A modern syntax for the λ-calculus.

Haskell

405

PureState

The stupidest state management library that works.

JavaScript

309

forall

Expressive static types and invariant checks for JavaScript.

JavaScript

227

abstract-algorithm

Optimal evaluator of λ-calculus terms.

JavaScript

222

Cedille-Core

A minimal proof language.

JavaScript

193

optlam

An optimal function evaluator written in JavaScript.

JavaScript

115

Interaction-Type-Theory

Rust

108

calculus-of-constructions

Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.

Bitspeak

articles

UrnaCripto

Referendos criptograficamente incorruptíveis.

JavaScript

lrs

Linkable Ring Signatures on JavaScript and PureScript.

heart

ultimate-calculus

absal-rs

HOC

nano-json-stream-parser

A complete, pure JavaScript, streamed JSON parser in less than 1kb.

JavaScript

servify

Microservices in the simplest way conceivable.

JavaScript

optimul

Multiplication on optimal λ-calculus reducers

JavaScript

parallel_lambda_computer_tests

learning cuda

Cuda

nano-ipfs-store

Lightweight library to store and get data to/from IPFS

JavaScript

formality-agda-lib-legacy

Agda libraries relevant to Moonad

Agda

taemoba

unknown_halting_status

Small programs with unknown halting status.

JavaScript

lsign

Quantum-proof, 768-bit signatures for 1-bit messages

JavaScript

reasoning_evals

my reasoning evals

JavaScript

Elementary-Affine-Net-legacy

JavaScript

OpenLegends

An open-source MOBA in Rust

ethereum-offline-signer

Signs an Ethereum transaction from the command line.

JavaScript

coc-with-math-prims

JavaScript

idris-mergesort-benchmark

Benchmark of the new Idris JS backend

uwuchat2_demo

LPU

Vote

nano-persistent-memoizer

Caches a function permanently on browser and node.

JavaScript

nano-sha256

Use native Sha256 on both browser and Node.js

JavaScript

ReflexScreenWidget

A widget for Haskell-Reflex that renders a dynamic image to a Canvas in realtime.

Haskell

OSX

Vim script

EthFP

VictorTaelin

ethereum-rpc

JavaScript

ethereum-publisher-dapp

JavaScript

shared-state-machine

JavaScript

Trabalho-IC-UFRJ-2

Python

NeoTaelin

eth-web-tools

Some web Ethereum tools that MyEtherWallet currently lacks

JavaScript

hvm2

Cuda

symmetric-interaction-calculus-benchmarks

SIC benchmarks

JavaScript

talks

gpt

agbook

AGDA

Agda

Kind2

Kind refactor based on HVM

kind-react-component

Renders a Kind app as a React component

PongFromScratch

A simple tutorial on how to create a ping-pong game from scratch

tsbook

TypeScript

sketch_bros

Super Sketch Bros!

JavaScript

StupidMinimalistHash

MaiaVictor.github.io

HTML

PotS

JavaScript

LamBolt

The ultimate compile target for functional languages

form-login

Um formulário de Login feito com HTML e CSS usando transições

who-loves-voxels

cuda_rewrite_tests

luna-lang-old-abandoned-repo

Typed version of Moon-lang

JavaScript

posts

FPL

A collection of functional JavaScript modules.

JavaScript

PassRhyme

JavaScript

something_calculus

moon-bignum

Minimalistic bignum library compiled from Moon-lang.

JavaScript

see

See inside JS functions

JavaScript

Trabalho-IC-UFRJ

JavaScript

optimal_evaluation_examples

optimal evaluation examples (DUP nodes, SUP nodes)

Haskell

inferno-hello-world-component

JavaScript

inet

JavaScript

VictorTaelin/lambda-calculus

VictorTaelin

Reviews

Repository Details

More Repositories