List of programming languages by type
☆35Aug 14, 2021Updated 5 years ago
Alternatives and similar repositories for List-of-programming-language-lists
Users that are interested in List-of-programming-language-lists are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆10Jun 6, 2023Updated 3 years ago
- A Reactive Sparql Client written in Scala and Akka☆14Sep 18, 2023Updated 3 years ago
- pMath is a programming language similar in spirit to Mathematica (symbolic manipulation & pattern matching) which wants to be a full Comp…☆10Oct 18, 2026Updated last week
- The Jam Programming Language☆25Jun 8, 2017Updated 9 years ago
- HTML Infinite Mario with Blockly scripting.☆19Aug 19, 2013Updated 13 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Purely functional data structures in Typescript☆14Jul 15, 2020Updated 6 years ago
- Self-hosted ion compiler. Based on ion here: https://github.com/pervognsen/bitwise☆21Jul 27, 2018Updated 8 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Semantics of Programming Languages☆13Aug 8, 2019Updated 7 years ago
- An esoteric programming language based on Rubik's Cubes☆28Apr 5, 2018Updated 8 years ago
- ☆19Nov 23, 2021Updated 4 years ago
- Conversions between algebraic classes and F-algebras.☆11Jan 5, 2026Updated 9 months ago
- repository for the collaborative formalization seminar in Analysis in Bonn☆11May 1, 2026Updated 5 months ago
- Functions to scrape web pages from ebird.org☆11Jul 15, 2025Updated last year
- 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.
- 🔫 Toy ML-like Imperative Programming Language (WIP)☆10Apr 15, 2021Updated 5 years ago
- libjpeg-turbo bindings for Elixir☆13Dec 11, 2023Updated 2 years ago
- Elixir Logger Backend for Grafana Loki☆11Mar 31, 2022Updated 4 years ago
- A compiler for the Adamant language☆22Oct 9, 2020Updated 6 years ago
- Putting eBird on the decentralized web☆11Jan 7, 2023Updated 3 years ago
- Desktop Sanskrit-English Dictionary☆13Jul 7, 2020Updated 6 years ago
- A programming language.☆13Aug 4, 2025Updated last year
- The Stone programming language - OOP, immutable, functional, typed, actors☆10Aug 5, 2026Updated 2 months ago
- The Lily programming language ⚜☆11Aug 12, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A language that tries to be syntactically similar to Turkish | Türkçe'ye yakın bir sözdizimine sahip olmaya çalışan bir dil☆10Feb 14, 2026Updated 8 months ago
- An object-oriented language targeting the Neko VM☆11Jul 3, 2021Updated 5 years ago
- A ternary search tree implementation in Erlang.☆12Jul 20, 2013Updated 13 years ago
- Programmable music! A compiler and high level language.☆13Jul 19, 2025Updated last year
- An Unlambda Interpreter and REPL☆11Sep 27, 2018Updated 8 years ago
- Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories☆15Mar 26, 2017Updated 9 years ago
- 🐝🧇 Prototype template #lang for Pollen☆11Nov 24, 2025Updated 11 months ago
- Set of problems and solutions in Natural Deduction for use with Volker Halbach's "The Logic Manual"☆13Feb 27, 2018Updated 8 years ago
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆18Mar 16, 2024Updated 2 years ago
- 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.
- ☆12May 14, 2023Updated 3 years ago
- The compiler for the space programming language. The frontend generates LLVM IR, supports the Object Oriented programming paradigm and ha…☆11Jun 10, 2021Updated 5 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Nov 18, 2019Updated 6 years ago
- Simple tokenised template system for SGE☆10Mar 1, 2023Updated 3 years ago
- A bare-metal Forth for i386 machines.☆14May 13, 2019Updated 7 years ago
- An object-oriented programming language that thinks functionally☆10Mar 23, 2026Updated 7 months ago
- Gura Programming Language☆44May 9, 2020Updated 6 years ago