The calculus of constructions
☆11Oct 22, 2021Updated 5 years ago
Alternatives and similar repositories for coc
Users that are interested in coc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Cuda-based matrix/vector computations☆12Feb 25, 2020Updated 6 years ago
- Ring Erlang exercise implemented in several languages☆15Jun 18, 2022Updated 4 years ago
- A third-person three.js action game☆12Oct 4, 2026Updated 3 weeks ago
- Cellular autotmata screensaver with a colourful rock-paper-scissors implementation.☆12Mar 8, 2015Updated 11 years ago
- Rust ICMP socket, intended to be similar to std TCP/UDP sockets in future☆12Apr 2, 2019Updated 7 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.
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆17Dec 19, 2023Updated 2 years ago
- Rust client for the Finnhub API☆10Sep 5, 2023Updated 3 years ago
- Epic Canvas. A decent WebGL library built around webGL 1.0 and the drawArrays mode. Allows for WebGL codes of 3D and 4D visuals. Version…☆14Oct 19, 2025Updated last year
- ☆10Sep 7, 2022Updated 4 years ago
- A comprehensive graph of mathematical domains and topics☆24Oct 17, 2026Updated last week
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Nov 20, 2014Updated 11 years ago
- The website for the AdvancedResearch community☆22Updated this week
- A comprehensive LaTeX template for generating high-quality maths books with custom environments and code snippets☆13Sep 17, 2024Updated 2 years ago
- Binderize version of LIGO GW150914 tutorial☆11Oct 3, 2017Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A JIT-compiled Lisp dialect targetting LLVM.☆12Oct 29, 2013Updated 13 years ago
- Interpreter, Denotational Semantics, & Tests for a vau-based Lisp dialect.☆10Apr 15, 2013Updated 13 years ago
- A simple way to describe dependencies that can be replaced at test time.☆11Apr 6, 2021Updated 5 years ago
- Lambda Calculus parser and interpreter made in TypeScript's type system☆14May 24, 2024Updated 2 years ago
- Haex - Haskell As Elixir (pronounced "hacks")☆14Dec 16, 2020Updated 5 years ago
- ⚙️ REST api with NodeJS(KoaJS) MongoDB and Jest Tests.☆11Mar 21, 2025Updated last year
- Vitamins for your Rust cryptography code☆10Updated this week
- my attempt at making sense of lambda calculus☆19Oct 6, 2022Updated 4 years ago
- High-ish performance, declarative, super minimal DOM tools for HTML & SVG☆12Jul 22, 2021Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- GitHub clone of the estpak OpenBSD repo☆13May 19, 2014Updated 12 years ago
- What makes Paxos tick?☆11Apr 16, 2025Updated last year
- raylib + LuaJIT + Yuescript☆13Mar 1, 2022Updated 4 years ago
- Scala implementations of standard algorithms for Multi-Armed Bandits Problem.☆11May 7, 2016Updated 10 years ago
- scraps and bits and bobs☆14Jul 28, 2022Updated 4 years ago
- Firth is an experimental modern Forth for 64bit x86_64 processors☆13Sep 5, 2014Updated 12 years ago
- Master thesis on developing a static type checker for Erlang☆27Sep 30, 2018Updated 8 years ago
- Implementation of Quantitative Type Theory (in TypeScript)☆14Dec 16, 2020Updated 5 years ago
- Very simple envelope encryption library☆10Sep 29, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 2D javascript game library☆20Mar 27, 2024Updated 2 years ago
- A proof-of-concept demo of Bolero serverless SPA running on GitHub Pages using WebAssembly☆14Mar 24, 2021Updated 5 years ago
- "Strand" is an open-source implementation of the identically named parallel Prolog dialect as described in the book "Strand: New Concepts…☆14Apr 27, 2021Updated 5 years ago
- Collection of words to help with writing high level applications with Forth language.☆12Jun 27, 2021Updated 5 years ago
- Port of the code from Typing Haskell in Haskell to Rust☆13Nov 10, 2013Updated 12 years ago
- Rust implementation of Viktor Chlumský's msdfgen utility☆10Dec 13, 2018Updated 7 years ago
- Soundboard with no limits☆13Nov 18, 2025Updated 11 months ago