Search: github.com/cutculus | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

An opinionated beginner's guide to Haskell in mid 2019

github.com/cutculus

7 years ago

4 points

2.

Show HN: Cumulus – Threat Modeling the Clouds

2 years ago

3 points

3.

Show HN: Cumulus, an unobtrusive SoundCloud desktop application

github.com/gillesdemey

11 years ago

concise_unicorn

6 points

4.

My Open Source Calculus Review Sheet

github.com/ReedR95

14 years ago

6 points

5.

Cumulus: A free, open-source replacement for CloudApp that uses your own S3

11 years ago

5 points

6.

Show HN: Abstract Calculus, a massively parallel model of computation

github.com/maiavictor

8 years ago

5 points

7.

Lambda Calculus Visualizations (2023)

github.com/prathyvsh

2 years ago

3 points

8.

github.com/advancedresearch

5 years ago

2 points

9.

Interaction Calculus

github.com/VictorTaelin

2 years ago

1 points

10.

Lambda Calculus Visualizations Repo

github.com/prathyvsh

3 years ago

1 points

11.

Propositional Logic Calculator

github.com/lion137

7 years ago

1 points

12.

Show HN: Open Computer-Animated Multivariable Calculus Course in 6 Languages

calculus.academa.ai

5 months ago

5 points

13.

Lambda calculus with Church encoding in C

github.com/peberlein

15 years ago

11 points

14.

Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory

github.com/solomon-b

2 months ago

3 points

15.

Dynamic Network Optimization for Autonomous Agents in Polynomial Time

github.com/NewAtlas28

9 months ago

2 points

16.

The Little Book of Calculus

github.com/the-litte-book-of

10 months ago

6 points

17.

Sequent-Calculus

github.com/Shen-Language

7 years ago

1 points

18.

A λ-calculus interpreter written in C preprocessor macros

github.com/Hirrolot

5 years ago

85 points

19.

Show HN: Lambda-8cc – An x86 C compiler written in untyped lambda calculus

github.com/woodrush

4 years ago

249 points

20.

Show HN: Caramel – a modern syntax for the lambda calculus

github.com/MaiaVictor

11 years ago

130 points

21.

Rust, Macros, λ-calculus/Church numerals, oh my

github.com/nixpulvis

7 years ago

121 points

22.

Show HN: Eole, a Lévy-optimal lambda calculus evaluator written in Rust

github.com/HerrmannM

7 years ago

106 points

23.

Eolang, an Experimental Object-Oriented Programming Language Based on 𝜑-Calculus

github.com/cqfn

5 years ago

69 points

24.

Show HN: Visual Lambda Calculus – a thesis project (2008) revived for the web

github.com/bntre

4 months ago

49 points

25.

λ-calculus evaluator

zaach.github.com

16 years ago

24 points

26.

Show HN: Type-level Lambda Calculus interpreter in TypeScript

github.com/EvolveYourMind

5 years ago

10 points

27.

Binary Lambda Calculus

gist.github.com

a year ago

5 points

28.

Show HN: A Vaadin Algebra and Calculus Solver Built with AI Assistance

4 months ago

4 points

29.

Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution

github.com/sweirich

a year ago

4 points

30.

Show HN: Lambda Core – Minimal Lambda Calculus in Every Language

github.com/kserrec

a year ago

4 points