Solving AoC-2022 in a new language everyday!
☆24Dec 11, 2022Updated 3 years ago
Alternatives and similar repositories for Languages-of-code
Users that are interested in Languages-of-code are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Quint-connect for Typescript☆14Aug 26, 2026Updated 2 months ago
- ot-coq☆17Sep 5, 2023Updated 3 years ago
- variations on lisp, exploring reflection☆12Jun 21, 2025Updated last year
- Test-Driven Development in action live coding session repository☆10May 28, 2020Updated 6 years ago
- Ulrich Newmerkel's library for reified if, as a prolog pack☆11Aug 11, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ScalaJS Component System☆13Updated this week
- Haskell regular expression library that supports derivatives, equivalence, intersection, and complement.☆13Sep 4, 2022Updated 4 years ago
- A Haskell monad for fair enumeration of infinite sets.☆16Nov 15, 2025Updated 11 months ago
- Compositional Terminal Pseudo-Graphics☆12Dec 24, 2022Updated 3 years ago
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 6 years ago
- Documentation of Project Poi☆10Apr 12, 2018Updated 8 years ago
- Hypercard-like game engine☆14Feb 7, 2024Updated 2 years ago
- Bit of a mess 💩☆14Oct 27, 2023Updated 3 years ago
- simple backtracking sat solver in javascript☆11Oct 22, 2012Updated 14 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆10May 26, 2025Updated last year
- Learn me a Haskell, finally. (And you can too!)☆48Sep 4, 2024Updated 2 years ago
- Yet another typescript service starter template, functional☆10Updated this week
- Arete is an experimental programming language.☆12Oct 6, 2023Updated 3 years ago
- ☆11Aug 17, 2022Updated 4 years ago
- Discover laws in your code like with QuickSpec☆17Jun 6, 2021Updated 5 years ago
- Code excerpts from functional programming studies☆12Jan 4, 2023Updated 3 years ago
- Formalization of Homotopy Type Theory for use in my Youtube videos☆17May 28, 2024Updated 2 years ago
- A framework for implementing equivariant DL☆10May 25, 2021Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A Scala 3, lightweight and functional non-intrusive library to build typed and declarative Scala application with managed resources and d…☆12Mar 16, 2025Updated last year
- Web playground to try Scryer Prolog in your browser!☆16Nov 29, 2025Updated 11 months ago
- A sample TypeScript app that parses a grammar with ANTLR4.☆12Apr 21, 2017Updated 9 years ago
- Mini-game built on a functional style☆13Jul 2, 2022Updated 4 years ago
- Some code in the Rhombus/Shrubbery prototype☆12Dec 9, 2024Updated last year
- A desktop viewer for clerk.☆13Oct 12, 2022Updated 4 years ago
- ☆14Sep 10, 2023Updated 3 years ago
- ☆10Dec 7, 2022Updated 3 years ago
- A collection of hard forks, ports, re-imaginations, and original code to fuel my own learning☆13Oct 25, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆17Mar 15, 2023Updated 3 years ago
- Reactor example, requires java 8 + reactor-core 3.x☆10Oct 22, 2017Updated 9 years ago
- Code from CS152 lectures☆14Apr 13, 2026Updated 6 months ago
- ☆12Mar 3, 2022Updated 4 years ago
- practical projects to put in practice elixir and erlang/otp concepts☆11Dec 4, 2024Updated last year
- some resources☆14Oct 5, 2023Updated 3 years ago
- ☆12Apr 3, 2026Updated 7 months ago