Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with programming-language

A curated list of projects in awesome lists tagged with programming-language .

https://github.com/ddj231/Handel

a small procedural programming language for writting songs in browser

handel music-composition procedural-programming-language programming-language tonejs

Last synced: 02 Aug 2024

https://github.com/mattam82/coq-equations

A function definition package for Coq

coq dependent-types programming-language

Last synced: 27 Sep 2024

https://github.com/mattam82/Coq-Equations

A function definition package for Coq

coq dependent-types programming-language

Last synced: 04 Aug 2024

https://github.com/kin-lang/kin

Kin Programming Language ๐Ÿ‡ท๐Ÿ‡ผ

kin kin-lang kinyarwanda languages programming-language typescript

Last synced: 01 Aug 2024

https://github.com/charly-lang/charly

๐Ÿˆ The Charly Programming Language | Written by @KCreate

crystal interpreter programming-language repl

Last synced: 03 Oct 2024

https://github.com/yakshalang/yaksha

๐Ÿ˜ˆ Yaksha Programming Language - Offside rule + Lisp system for macros. ๐Ÿฃ WIP

c99 compile-time compile-to-c compiler lisp-dialect offside offside-rule programming-language transpiler

Last synced: 29 Sep 2024

https://github.com/rsms/compis

Contemporary systems programming language in the spirit of C

programming-language

Last synced: 31 Jul 2024

https://github.com/ikskuh/lola

LoLa is a small programming language meant to be embedded into games.

compiler interpreter language lola-language programming-language script-language zig zig-package

Last synced: 30 Sep 2024

https://github.com/fsaadatmand/the-c-programming-language

Answers to exercises in K&R's The C Programming Language (second Edition).

c c-language c-programming programming-exercises programming-language

Last synced: 29 Sep 2024

https://github.com/ikskuh/LoLa

LoLa is a small programming language meant to be embedded into games.

compiler interpreter language lola-language programming-language script-language zig zig-package

Last synced: 03 Aug 2024

https://github.com/ytakano/blisp

A statically typed Lisp like scripting programming language for Rust.

no-std programming-language rust

Last synced: 02 Aug 2024

https://github.com/inexorabletash/jsbasic

Applesoft BASIC in JavaScript

basic programming-language

Last synced: 30 Jul 2024

https://github.com/maelswarm/nymph

๐Ÿงš A slightly different version of C.

c language nymph preprocessor programming-language

Last synced: 04 Aug 2024

https://github.com/chriskrycho/newrustacean.com

The official website for the New Rustacean podcast

cargo podcast programming programming-language rust-lang

Last synced: 03 Oct 2024

https://github.com/rustq/3body-lang

ไธ‰ไฝ“็ผ–็จ‹่ฏญ่จ€ Three Body Language written in Rust

3bodyproblem compiler language programming-language rust threebody threebodyproblem

Last synced: 02 Aug 2024

https://github.com/riicchhaarrd/ocean

Programming language that compiles into a x86 ELF executable.

ast c compiler elf lexer programming-language x86

Last synced: 01 Aug 2024

https://github.com/empirical-soft/empirical-lang

A language for time-series analysis

programming-language time-series-analysis

Last synced: 31 Jul 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: 30 Jul 2024

https://github.com/blade-lang/blade

A modern general-purpose programming language focused on enterprise Web, IoT, and secure application development.

blade compiler interpreter language programming-language

Last synced: 01 Aug 2024

https://github.com/WerWolv/PatternLanguage

The Pattern Language used by the ImHex Hex Editor

binary dsl hacktoberfest hex-editor imhex pattern programming-language

Last synced: 04 Aug 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: 04 Aug 2024

https://github.com/pveyes/naskah

Bahasa pemrograman dengan sintaks Bahasa Indonesia (Programming language with Indonesian syntax) ๐Ÿ‡ฎ๐Ÿ‡ฉ

bahasa-indonesia compiler indonesia naskah oss pemrograman programming-language rust webassembly

Last synced: 01 Aug 2024

https://github.com/alumina-lang/alumina

A general purpose programming language

compiler programming-language

Last synced: 01 Aug 2024

https://github.com/Lartu/ldpl

COBOL-like programming language that compiles to C++. With serious dinosaurs with neckties and briefcases ๐Ÿฆ•๐Ÿ’ผ

cobol compiled compiler dinosaur dinosaurs imperative-programming imperative-programming-language ldpl programming-language robust robustness static static-typed structured structured-programming systems-language systems-programming typed

Last synced: 01 Aug 2024

https://github.com/yubrot/llrl

An experimental Lisp-like programming language

compiler lisp llvm macro programming-language rust self-hosting

Last synced: 08 Aug 2024

https://github.com/objeck/objeck-lang

Objeck is a modern object-oriented programming language with functional features tailored for machine learning. It emphasizes expression, simplicity, portability, and scalability. The programming environment consists of a compiler, virtual machine, REPL shell, and command line debugger with IDE plugins.

arm64 assembly-language c compiler cplusplus debuggers documentation examples jit-compilation linux lsp-server macos memory-management programming-language rpi4 runtime-system windows x64

Last synced: 29 Sep 2024

https://github.com/kmyk-jikka/Jikka

an automated solver for problems of competitive programming

algorithms competitive-programming compiler optimization programming-contests programming-language transpiler

Last synced: 31 Jul 2024

https://github.com/chkas/easylang

An easy programming language that runs in the browser

learn-to-code programming-language

Last synced: 01 Aug 2024

https://github.com/ftripier/spookyc

A compiler for the ๐ŸŽƒ Spooky ๐Ÿ˜ฑ programming language ๐Ÿ‘ป

boo fear ghost halloween memes novelty programming-language scary skeleton spooky surprise vampire ventriloquist-dolls werewolf

Last synced: 03 Aug 2024

https://github.com/Storyyeller/cubiml-demo

A simple ML-like programming language with subtyping and full type inference.

programming-language type-inference

Last synced: 01 Aug 2024

https://github.com/flax-lang/flax

general purpose programming language, in the vein of C++

c-plus-plus compiler flax language language-design llvm programming-language

Last synced: 03 Aug 2024

https://github.com/publicodes/publicodes

Le langage pour les algorithmes d'intรฉrรชt public

programming-language simulation-modeling

Last synced: 04 Aug 2024

https://github.com/ksco/BuildYourOwnLispCn

Build Your Own Lisp ไธญๆ–‡็‰ˆ

c lisp-interpreter programming-language

Last synced: 02 Aug 2024

https://github.com/sin-ack/zigself

An implementation of the Self programming language in Zig

interpreter programming-language self-language

Last synced: 09 Aug 2024

https://github.com/alexst07/shell-plus-plus

A friendly and modern functional object oriented language for shell script.

command-line glob glob-pattern language programming-language scripting-language shell shell-script shellscript terminal

Last synced: 01 Aug 2024

https://github.com/turbopape/scheje

A little scheme implementation on top of Clojure

clojure compiler evaluator lisp macros programming-language scheme

Last synced: 04 Aug 2024

https://github.com/sarl/sarl

SARL Agent-Oriented Programming Language http://www.sarl.io

agent agent-based agent-based-modeling agent-teamwork agents dsl framework ide java linux macox programming-language windows xtext

Last synced: 02 Oct 2024

https://github.com/murisi/L2

A minimalist type-inferred programming language with procedural macro support

c hindley-milner lisp longjmp macros meta-programming programming-language s-expressions scheme setjmp type-inference unsafe

Last synced: 03 Aug 2024

https://github.com/uraimo/swiftylisp

A minimal LISP implemented in Swift

interpreter language lisp programming-language

Last synced: 03 Oct 2024

https://github.com/capjamesg/knowledge-graph-language

A query language for exploring knowledge graphs.

knowledge-graph programming-language

Last synced: 03 Oct 2024

https://github.com/ffwff/hana

๐ŸŒธ a simple scripting language (alpha) ๐ŸŒธ

bytecode-interpreter programming-language scripting-language

Last synced: 02 Aug 2024

https://github.com/benzap/eden

Embedded and Extensible Scripting Language in Clojure

clojure clojurescript eden lua programming-language

Last synced: 04 Aug 2024

https://github.com/zegl/tre

LLVM backed progamming language (Go subset)

clang golang language llvm llvm-ir programming-language

Last synced: 28 Sep 2024

https://github.com/uraimo/SwiftyLISP

A minimal LISP implemented in Swift

interpreter language lisp programming-language

Last synced: 05 Aug 2024

https://github.com/gentee/gentee

Gentee - script programming language for automation. It uses VM and compiler written in Go (Golang).

automation compiler embedded-language go golang language programming-language script script-engine scripting-language virtual-machine

Last synced: 30 Jul 2024

https://github.com/kekcleader/FreeOberon

Cross-platform IDE for development in Oberon programming language made in the classical FreePascal-like pseudo-graphic style.

compiler console-visualization cross-platform graphics-programming gui-application gui-programming ide libsdl2-dev linux oberon pascal programming-language retro terminal-emulator text-editor turbo-c turbo-pascal windows

Last synced: 01 Aug 2024

https://github.com/lice-lang/lice

A multi-paradigm programming language running on JVM

interpreter jvm kotlin language lice lisp lisp-dialect lisp-interpreter programming-language

Last synced: 02 Aug 2024

https://github.com/haifenghuang/magpie

:bird: Successor of my monkey Interpreter(support for class, linq, sql, net, http, fmt, json and A realtime syntax highlighting REPL).

async await debugger dsl go golang interpreted-languages interpreter language linq object-oriented pratt-parser programming-language scripting-language scripting-languages

Last synced: 01 Aug 2024

https://github.com/SummerSec/SPATool

้™ๆ€็จ‹ๅบๅˆ†ๆžๅทฅๅ…ท ไธป่ฆ็”Ÿๆˆๆ–นๆณ•็š„CFGๅ’Œ.javaๆ–‡ไปถ็š„AST

ast cfg programming-language sa spa spatool static-analysis

Last synced: 04 Aug 2024

https://github.com/cx-language/cx

C* is a hybrid low-level/high-level systems programming language focused on performance and productivity.

compiler fast high-performance language native performance programming-language system-programming systems-language

Last synced: 02 Aug 2024

https://github.com/qteatime/crochet

Crochet: A tool for creating and remixing interactive experiences, safely.

programming-language secure-by-default

Last synced: 09 Aug 2024

https://github.com/SenegalLang/Senegal

Senegal programming language

bird programming-language senegal senegal-language vm

Last synced: 02 Aug 2024

https://github.com/julelang/jule

An effective programming language to build efficient, fast, reliable and safe software.

compiler jule julelang language programming-language

Last synced: 02 Aug 2024

https://github.com/ilya-klyuchnikov/ttlite

A SuperCompiler for Martin-Lรถf's Type Theory

agda coq dependent-types idris programming-language supercompilation type-theory

Last synced: 27 Sep 2024

https://github.com/myst-lang/myst

A structured, dynamic, general-purpose language.

crystal dynamic language myst-lang object-oriented programming-language

Last synced: 03 Oct 2024

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: 02 Aug 2024

https://github.com/owo-lang/minitt-rs

Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust

dependent-types programming-language type-theory

Last synced: 02 Aug 2024

https://github.com/ilya-klyuchnikov/lambdapi

Dependently Typed Lambda Calculus in Haskell

dependent-types programming-language

Last synced: 03 Oct 2024

https://github.com/AdeptLanguage/Adept

The Adept Programming Language

compiler low-level programming-language

Last synced: 01 Aug 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: 29 Sep 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: 03 Oct 2024

https://github.com/rowscript/rowscript

RowScript programming language, making a better browser world

dependent-types javascript programming-language row-polymorphism typescript

Last synced: 04 Aug 2024

https://github.com/rust-lang-de/rustbook-de

Deutsche Gemeinschafts-รœbersetzung des offiziellen Rust-Buchs

book programming-language rust rust-lang

Last synced: 01 Aug 2024

https://github.com/owo-lang/voile-rs

Dependently-typed row-polymorphic programming language, evolved from minitt-rs

dependent-types extensible programming-language type-theory

Last synced: 03 Aug 2024

https://github.com/presidentbeef/brat

Brat is a little language for people who don't like to be told what to do.

brat language lua luajit programming-language

Last synced: 03 Oct 2024

https://github.com/rhysd/dachs

Dachs; A Doggy :dog: Programming Language

compiler cpp dog go inu language llvm programming-language

Last synced: 01 Oct 2024

https://github.com/rhysd/Dachs

Dachs; A Doggy :dog: Programming Language

compiler cpp dog go inu language llvm programming-language

Last synced: 31 Jul 2024

https://github.com/OpenEuphoria/euphoria

The Euphoria programming language (https://openeuphoria.org/)

euphoria general-purpose openeuphoria programming-language

Last synced: 01 Aug 2024

https://github.com/narke/colorForth

Native 32-bit colorForth for PCs, Bochs and Qemu.

colorforth forth programming-language

Last synced: 30 Jul 2024

https://github.com/kalebu/pyswahili

A Swahili version of programming language to allow Swahili speakers get started with programming

opensource programming-language pyswahili python python-swahili python-tanzania swahili swahili-programming-language swahili-transpiler swahilipython tanzania

Last synced: 03 Oct 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: 01 Oct 2024

https://github.com/owo-lang/narc-rs

(WIP) Dependently-typed programming language with Agda style dependent pattern matching

dependent-types pattern-matching programming-language type-theory

Last synced: 03 Aug 2024

https://github.com/benzap/fif

Stack-based Programming in Clojure(script)

clojure edn fif forth programming-language scripting scripting-language stack-based

Last synced: 29 Sep 2024