Type theory (IFMO, 2014)
☆12Jan 12, 2019Updated 7 years ago
Alternatives and similar repositories for tt2014
Users that are interested in tt2014 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Mar 6, 2024Updated 2 years ago
- Notes for type theory course☆21Jan 11, 2019Updated 7 years ago
- The Start of a Twitch Extension Boilerplate using VueJS for the front-end Iframe, and Express for the EBS Auth.☆10Sep 14, 2017Updated 9 years ago
- I18n made simple - for Kotlin! (still in beta)☆13Apr 16, 2018Updated 8 years ago
- Reinforcement Learning Server☆13May 20, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆15Apr 7, 2022Updated 4 years ago
- Fortune's algorithm for Voronoi diagram generating on the plane. Intended for runtime speed and careful handling of corner cases.☆20Sep 17, 2019Updated 7 years ago
- Haskell Enterprise Edition☆11Nov 17, 2017Updated 8 years ago
- ✍🐻 A simple golang logger that extends the standard log package.☆24Mar 24, 2023Updated 3 years ago
- Annex Done Right: Spec Ops (TEHGAM 1)☆10Apr 19, 2019Updated 7 years ago
- Educational virtual machine☆14Dec 20, 2018Updated 7 years ago
- Google Calendar API v3. Haskell implementation☆12Sep 27, 2014Updated 12 years ago
- Haskell library dealing with vkontakte social network☆12May 6, 2019Updated 7 years ago
- For notebooks, slides and other materials.☆11Jul 31, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆10Jul 22, 2013Updated 13 years ago
- ☆13Nov 25, 2022Updated 3 years ago
- Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года☆15Dec 17, 2018Updated 7 years ago
- Код для подкаста «ФП для чайника»☆28Mar 16, 2020Updated 6 years ago
- Памятка по командам Git☆10Oct 9, 2016Updated 10 years ago
- ☆15Oct 21, 2021Updated 4 years ago
- computational geometry notes☆15Jul 6, 2023Updated 3 years ago
- Hello World, with Go, Statically linked C, and CMake.☆13Jun 10, 2015Updated 11 years ago
- NodeJS, Typescript, PostgreSQL small demo application with Docker setup☆29Jan 6, 2025Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Pure Haskell LDAP client library☆13Nov 18, 2025Updated 11 months ago
- This command line app detects when an image file has an alpha channel it does not need.☆11Sep 2, 2013Updated 13 years ago
- Have you ever wondered what would happen if XMonad wore clown shoes?☆15Sep 19, 2026Updated last month
- NixOS configurations☆17Dec 7, 2015Updated 10 years ago
- ☆15Jan 31, 2015Updated 11 years ago
- 🌲 A transport to filter log lines in the manner of the `debug` module☆12Jun 1, 2026Updated 4 months ago
- http-server with two pools of threads (one for easy to handle requests, and one for hard to handle), forked from Begun's lizard☆13Nov 10, 2021Updated 4 years ago
- Русский перевод интерфейса Combodo iTop Service Desk от сообщества iTop по-русски.☆14Apr 26, 2020Updated 6 years ago
- A tiny (1 KB) <I icon='' /> Component for React(-like).☆10Nov 7, 2016Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Website of Minsk Hackerspace (Ruby on Rails)☆12Oct 8, 2026Updated last week
- A Seneca.js plugin that validates messages using the joi module.☆10Oct 8, 2026Updated last week
- Last.fm submission daemon☆20Apr 19, 2010Updated 16 years ago
- A hyperlink auto-generator plugin for CKEditor☆10Jun 27, 2018Updated 8 years ago
- Материали към курса "HTML5 приложения за Android"☆10Mar 11, 2015Updated 11 years ago
- Data types and useful functions to represent and manipulate the Nix language. | Source has moved to https://github.com/nixos/cabal2nix☆29Jan 22, 2024Updated 2 years ago
- Go package to minify JavaScript, which is a direct port of Douglas Crockford's JSMin☆21Nov 4, 2024Updated last year