Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/neverRare/butter
A tasty language for building efficient software. Currently in hiatus
butter compiler language proglangs-discord programming-language rust
Last synced: 28 Mar 2024
https://github.com/adamsol/Pyxell
Multi-paradigm programming language compiled to C++, written in Python.
compiler cpp generators indentation parser programming-language python rational-numbers syntax
Last synced: 28 Mar 2024
https://github.com/arturo-lang/arturo
Simple, expressive & portable programming language for efficient scripting
arturo bytecode functional-programming homoiconic interpreter language programming-language stack-based virtual-machine
Last synced: 28 Mar 2024
https://github.com/horse64/core.horse64.org
A simple & versatile high-level programming language! THIS IS AN (OFFICIAL) MIRROR, GO HERE FOR SOURCE: https://codeberg.org/Horse64/core.horse64.org
abstract-syntax-tree asynchronous beginner beginner-friendly bytecode compiler concurrent cross-platform dynamic-typing event-driven garbage-collection horse64 imperative lexer multi-paradigm object-oriented parser portable programming-language standard-library
Last synced: 28 Mar 2024
https://roblox.github.io/luau
A fast, small, safe, gradually typed embeddable scripting language derived from Lua
lua programming-language scripting-language
Last synced: 28 Mar 2024
https://github.com/myst-lang/myst
A structured, dynamic, general-purpose language.
crystal dynamic language myst-lang object-oriented programming-language
Last synced: 28 Mar 2024
https://github.com/Storyyeller/IntercalScript
The IntercalScript programming language
programming-language type-inference
Last synced: 28 Mar 2024
https://github.com/disco-lang/disco
Functional teaching language for use in a discrete mathematics course
discrete-mathematics functional-programming programming-language teaching
Last synced: 28 Mar 2024
https://marcobambini.github.io/gravity/
Gravity Programming Language
bridge bytecode c closure fibers gravity interpreter json language object-oriented objective-c portable pratt-parser programming-language scripting-language virtual-machine
Last synced: 28 Mar 2024
https://github.com/ditto/ditto
A Super Kawaii Dependently Typed Programming Language
dependent-types programming-language proof-assistant type-theory
Last synced: 28 Mar 2024
https://github.com/yona-lang/yona
Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax, strict evaluation, for GraalVM polyglot virtual machine (VM).
asynchronous functional-languages graalvm jvm-language mainstream-languages programming-language yatta-language yona
Last synced: 28 Mar 2024
https://github.com/jondgoodwin/cone
Cone Programming Language
compiler concurrency cone memory-management programming-language systems-language type-safety web3d webassembly
Last synced: 28 Mar 2024
https://github.com/rsms/wlang
Programming language in development
assembler compiler programming-language
Last synced: 28 Mar 2024
https://github.com/abs-lang/abs
Home of the ABS programming language: the joy of shell scripting.
bash golang programming-language scripting scripting-language scripting-languages shell shell-scripting
Last synced: 28 Mar 2024
https://github.com/c3d/xl
A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites
compiler compiler-design compilers-design dialects domain-specific-language extensible-language extension-language functional-languages homoiconic metaprogramming programming-language programming-languages rewrites xl-language xl-parse-tree
Last synced: 28 Mar 2024
https://github.com/odin-lang/Odin
Odin Programming Language
compiler language odin odin-lang odin-programming-language programming-language programming-languages
Last synced: 28 Mar 2024
https://github.com/beefytech/Beef
Beef Programming Language
beef-language compiler ide programming-language
Last synced: 28 Mar 2024
https://github.com/savi-lang/savi
A fast language for programmers who are passionate about their craft.
actor-model compiler concurrent-programming llvm programming-language savi
Last synced: 28 Mar 2024
https://github.com/felix-lang/felix
The Felix Programming Language
c-plus-plus code-generator compiled compiler coroutine-framework coroutines functional-programming ocaml parametric-polymorphism performant platform-independent polymorphism programming programming-language scripting-language static-analysis type-classes
Last synced: 28 Mar 2024
https://github.com/spcl/dace
DaCe - Data Centric Parallel Programming
cuda fpga high-level-synthesis high-performance-computing programming-language vivado-hls
Last synced: 28 Mar 2024
https://github.com/ring-lang/ring
Simple and flexible programming language for applications development
compiler declarative-language desktop functional-programming games imperative-programming-language language linux macos mobile natural-language object-oriented procedural programming-language ring ring-programming-language virtual-machine web webassembly windows
Last synced: 28 Mar 2024
https://github.com/red/red
Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and cross-platform reactive GUI, while providing modern support for concurrency, all in a zero-install, zero-config, single ~1MB file!
compiler cross-platform gui interpreter language native programming-language reactive-programming rebol red repl scripting-language toolchain
Last synced: 28 Mar 2024
https://github.com/cognate-lang/cognate
A human readable quasi-concatenative programming language
based-stack-based-language c closures combinatorics compiler forth forth-like functional-programming interpreter lambda-calculus language natural-language prefix-notation proglangs-discord programming-language stack-based-language stack-language
Last synced: 28 Mar 2024
https://github.com/inko-lang/inko
A language for building concurrent software with confidence
compiler inko llvm programming-language rust
Last synced: 28 Mar 2024
https://github.com/smudgelang/smudge
A domain-specific language for state machines.
language programming-language state-machine
Last synced: 28 Mar 2024
https://github.com/HaxeFoundation/haxe
Haxe - The Cross-Platform Toolkit
compiler cross-platform haxe jvm-languages language macros programming-language transpiler
Last synced: 28 Mar 2024
https://github.com/chaos-lang/chaos
The Chaos Programming Language
chaos chaos-language cyclomatic-complexity functional immutability procedural programming-language typesafe
Last synced: 28 Mar 2024
https://github.com/ren-lang/compiler
Cleaner, clearer JavaScript. A modern scripting language for the Web.
compile-to-js compiler elm functional-programming javascript programming-language transpiler
Last synced: 28 Mar 2024
https://github.com/yubrot/llrl
An experimental Lisp-like programming language
compiler lisp llvm macro programming-language rust self-hosting
Last synced: 28 Mar 2024
https://github.com/jameshaydon/lawvere
A categorical programming language with effects
category-theory compiler effects interpreter programming-language
Last synced: 28 Mar 2024
https://github.com/mlatu-lang/mlatu
A declarative concatenative programming language
concatenative concatenative-programming-language interpreter language proglands-discord programming-language
Last synced: 28 Mar 2024
https://github.com/kit-ty-kate/labrys
A toy language based on LLVM that implements the System Fω type-system
compiler language llvm ocaml programming-language type-system
Last synced: 28 Mar 2024
https://github.com/zesterer/tao
A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.
compiler functional programming-language
Last synced: 28 Mar 2024
https://github.com/facet-lang/facet
a functional programming language with algebraic effects and handlers
algebraic-effects compiler programming-language
Last synced: 28 Mar 2024
https://github.com/pikelet-lang/pikelet
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
bidirectional-typechecking compiler dependent-record-types dependent-records dependent-types programming-language rust systems-language systems-programming type-system type-theory typechecker
Last synced: 28 Mar 2024
https://github.com/AleoHQ/leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
compiler leo programming-language zero-knowledge zksnarks
Last synced: 28 Mar 2024
https://github.com/fika-lang/fika
A statically typed functional programming language for the web.
elixir erlang functional-programming programming-language statically-typed
Last synced: 28 Mar 2024
https://github.com/topshell-language/topshell
TopShell - a purely functional, reactive scripting language
functional-programming programming-language reactive type-safety
Last synced: 28 Mar 2024
https://github.com/witheve/Eve
Better tools for thought
database eve ide language programming-language
Last synced: 28 Mar 2024
https://github.com/ecere/ecere-sdk
Ecere SDK (eC Language, Ecere IDE, Cross platform GUI, graphics, and more) — http://ec-lang.org —
3d-graphics-engine android binding-generator cross-platform cross-platform-development cross-platform-gui cross-platform-ide ec ec-language game-engine gui-toolkit hololens ide magicleap programming-language sdk vr
Last synced: 27 Mar 2024
https://github.com/artagnon/rhine
🔬 a C++ compiler middle-end, using an LLVM backend
c-plus-plus compiler compiler-design llvm programming-language
Last synced: 27 Mar 2024
https://github.com/gabordemooij/citrine
Citrine Programming Language
dutch-language french-language localization programming-language
Last synced: 27 Mar 2024
https://github.com/anoma/juvix
A language for intent-centric and declarative decentralised applications
anoma arithmetic-circuits functional-programming privacy-preserving-technologies programming-language
Last synced: 27 Mar 2024
https://github.com/supercollider/supercollider
An audio server, programming language, and IDE for sound synthesis and algorithmic composition.
algorithmic-composition audio c-plus-plus computer-music electronic-music livecoding music programming-language sclang scsynth sonification sound supercollider synthesis
Last synced: 26 Mar 2024
https://pyos.github.io/dg/
A programming language for the CPython VM.
language programming-language python
Last synced: 26 Mar 2024
https://github.com/cyrus-/typy
A fragmentary bidirectional type system as a Python library
algebraic-data-types functional-language pattern-matching programming-language python
Last synced: 26 Mar 2024
https://github.com/DulLabs/bhai-lang
A toy programming language written in Typescript
interpreter javascript parser programming-language typescript
Last synced: 25 Mar 2024
https://github.com/shinkwhek/microlisp
A lisp interpreter
interpreter lisp lisp-interpreter programming-language readable
Last synced: 25 Mar 2024
https://github.com/jasonnyberg/j2
j2 is a minimalist concatenative programming language that makes up for its simplicity by its ability to natively bind with C libraries' ABI *and types*, *without glue*
c concatenative dwarf extension-language graph-algorithms graphviz interpreter programming-language reflection stack-based
Last synced: 25 Mar 2024
https://github.com/bobbimanners/EightBall
The Eight Bit Algorithmic Language for Apple II, Commodore 64 and VIC20
apple2 commodore-64 commodore-vic20 compiler interpreter programming-language retrocomputing
Last synced: 25 Mar 2024
https://github.com/pera/ad-hoc
Ad-hoc programming language
compiler functional-programming interpreter programming-language
Last synced: 25 Mar 2024
https://github.com/morrow1nd/luax
Lua-like programming language for studying compiler&interpreter courses.
interpreter lua luax-programming-language programming-language
Last synced: 25 Mar 2024
https://github.com/projeduc/oop4coders
The implementation of OOP concepts in many programming languages, so "less talk more code"
book latex object-oriented object-oriented-programming oop oop-concepts programming programming-book programming-language
Last synced: 24 Mar 2024
https://github.com/proost-assistant/ProostLean
An reimplementation of the Proost proof-assistant written in Lean 4
functional-programming lean4 programming-language proof-assistant type-theory
Last synced: 24 Mar 2024
https://github.com/JohnBlood/awesome-basic
A curated list of awesome BASIC dialects, IDEs, and tutorials
basic basic-programming-language programming-language
Last synced: 23 Mar 2024
https://github.com/chriskrycho/newrustacean.com
The official website for the New Rustacean podcast
cargo podcast programming programming-language rust-lang
Last synced: 23 Mar 2024
https://github.com/vcfxb/wright-lang
The wright programming language (WIP)
language programming programming-language programming-languages rust wright wright-language wright-programming-language
Last synced: 23 Mar 2024
https://github.com/xyproto/battlestar
:dizzy: A different take on Assembly, with the goal of creating tiny executables.
assembly dosbox gcc inline linux programming-language tiny
Last synced: 23 Mar 2024
https://github.com/kulics-works/k
An open source cross-platform programming language focused on efficiency.
cross-platform grammar language programming-language
Last synced: 21 Mar 2024
https://github.com/hoijui/escher
Escher: A language for programming in metaphors
flow-based-programming graph-based-programming programming-language
Last synced: 21 Mar 2024
https://github.com/alimpfard/citron
General purpose programming language (mainly for unix-like systems)
c interpreter programming-language
Last synced: 19 Mar 2024
https://github.com/fg123/wendy
Wendy is an compiler / interpreter for WendyScript
compiler interpreter programming-language wendy
Last synced: 19 Mar 2024
https://github.com/yangtau/hedgehog
a toy programming language
compiler interpreter programming-language toy-programming-language
Last synced: 19 Mar 2024
https://github.com/dictu-lang/Dictu
Dictu is a high-level dynamically typed, multi-paradigm, interpreted programming language.
bytecode bytecode-interpreter c dictu hacktoberfest interpreter language programming-language scripting-language
Last synced: 19 Mar 2024
https://github.com/nelson-lang/nelson
Nelson numerical interpreter
cpp17 data-science data-structures interpreter mathematical-functions matlab matrix-functions nelson octave programming-language scientific-computing scilab
Last synced: 19 Mar 2024
https://github.com/MohammedRashad/Simplex
Programming Language for everyone, and no one.
batch-interpreter c interpreter language lisp lisp-dialect lisp-variant live-coding programming programming-language simplex
Last synced: 19 Mar 2024
https://github.com/frol/completely-unscientific-benchmarks
Naive performance comparison of a few programming languages (JavaScript, Kotlin, Rust, Swift, Nim, Python, Go, Haskell, D, C++, Java, C#, Object Pascal, Ada, Lua, Ruby)
ada benchmark cpp csharp dlang golang haskell java javascript kotlin lua luajit nim programming-language python ruby rust scoreboard swift
Last synced: 18 Mar 2024
https://github.com/lenguaje-latino/latino
Lenguaje de programación de código abierto para latinos y de habla hispana.
espanol latino lenguaje-de-programacion lenguaje-latino programacion programming-language
Last synced: 18 Mar 2024
https://github.com/ACM-UoA-Student-Chapter/dil
The Department of Informatics Programming Language.
compiler educational first-timers-friendly programming-language
Last synced: 17 Mar 2024
https://github.com/gnudatalanguage/gdl
GDL - GNU Data Language
antlr astronomy data-analysis dicom eigen3 fits-files geophysics grib gsl-library hdf hdf5 mapping netcdf plotting plplot programming-language pv-wave python scientific-computing scientific-visualization
Last synced: 17 Mar 2024
https://github.com/xonixx/intellij-awk
The missing IntelliJ IDEA language support plugin for AWK
awk gawk intellij intellij-plugin programming-language
Last synced: 17 Mar 2024
https://github.com/abranhe/languages.abranhe.com
Home of languages.abranhe.com the Programming Languages Logos Website
logos programming-language programming-languages-logos
Last synced: 17 Mar 2024
https://github.com/pyos/dg
A programming language for the CPython VM.
language programming-language python
Last synced: 15 Mar 2024