ibessonov / lambda.jsLinks
Basic functions from pure lambda-calculus - from boolean logic to prime numbers sequences
☆16Updated 8 years ago
Alternatives and similar repositories for lambda.js
Users that are interested in lambda.js are comparing it to the libraries listed below
Sorting:
- Generator of Turing Machines that run on Java generic types☆10Updated 8 years ago
- «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ☆46Updated 8 years ago
- Peering social blog☆62Updated 5 years ago
- Liscript GUI Java Desktop Swing☆26Updated 2 years ago
- Генератор стихов на Prolog☆23Updated 4 years ago
- ☆62Updated 6 years ago
- Ваша первая книга о языке Haskell☆270Updated 2 years ago
- Список вакансий в Департаменте Вычислительной Биологии в компании BIOCAD☆41Updated 7 months ago
- Стратегия изучения веб-технологий☆23Updated 3 years ago
- SICP in JavaScript (translated into russian)☆42Updated 2 years ago
- Мои слайды для конференций☆179Updated last year
- ☆11Updated 10 years ago
- Примеры кода для доклада по fp-ts☆23Updated 4 years ago
- Possibly the smallest compiler ever (Русский перевод | Russian translation)☆61Updated 7 years ago
- Учебник теории категорий☆371Updated 8 years ago
- Test Driven Type Development workshop assets.☆35Updated 5 years ago
- Lisp In Small Pieces на русском языке☆193Updated 3 years ago
- ☆77Updated 8 years ago
- ☆136Updated 5 months ago
- Субъективный JavaScript☆31Updated 9 years ago
- Материалы по курсу «Основы информатики»☆26Updated last year
- учебник по Haskell☆275Updated 2 years ago
- Задание "найди ошибки" — ШРИ, Москва, весна 2018☆30Updated 8 years ago
- HollyJS Moscow☆74Updated 5 years ago
- Russian translation of Okasaki's Purely Functional Data Structures☆170Updated 5 years ago
- "Free as in Freedom" in Russian☆71Updated 6 years ago
- Подкаст «Веб-стандарты»☆15Updated this week
- Компилятор Рефала-5λ☆94Updated last month
- Validation with good Flow and TypeScript type inference☆95Updated 3 years ago
- ☆15Updated 8 years ago