Project Name	Stars	Packages Using This	Most Recent Commit	Total Releases	Latest Release	Open Issues	License	Language
Church Turing	7		11 years ago			1		Haskell
A converter between the lambda calculus and Turing machines in Haskell
Core	6	2	2 years ago	6	October 06, 2022	7	mit	TypeScript
Lambda calculus evaluator engine.

Alternatives To Core

Select To Compare

Church Turing ⭐ 7

A converter between the lambda calculus and Turing machines in Haskell

most recent commit 11 years ago

Core ⭐ 6

Lambda calculus evaluator engine.

dependent packages 2total releases 6most recent commit 2 years ago

Suggest An Alternative To core

Alternative Project Comparisons

Core vs Church Turing

Popular Calculus Projects

Open Source Cs ⭐ 17,397

Video discussing this curriculum:

most recent commit 7 months ago

From 0 To Research Scientist Resources Guide ⭐ 6,443

Detailed and tailored guide for undergraduate students or anybody want to dig deep into the field of AI with solid foundation.

most recent commit a year ago

Plt ⭐ 5,018

Programming Language Theory λΠ

most recent commit 10 months ago

Open Source Cs Python ⭐ 3,579

Video discussing this curriculum:

most recent commit 9 months ago

Machine Learning ⭐ 2,683

most recent commit 4 years ago

Popular Character Projects

Chinese Word Vectors ⭐ 11,230

100+ Chinese Word Vectors 上百种预训练中文词向量

most recent commit 7 months ago

Char Rnn ⭐ 11,227

Multi-layer Recurrent Neural Networks (LSTM, GRU, RNN) for character-level language models in Torch

most recent commit 7 months ago

Leonsans ⭐ 9,454

Leon Sans is a geometric sans-serif typeface made with code in 2019 by Jongmin Kim.

dependent packages 2total releases 1latest release December 22, 2019most recent commit 4 years ago

Hexyl ⭐ 8,639

A command-line hex viewer

dependent packages 5total releases 15latest release July 26, 2023most recent commit 4 months ago

Spec ⭐ 8,298

The canonical spec for ulid

most recent commit 4 months ago

Popular Mathematics Categories