programming-language
Repositories (1545)
A new Hardware Design Language that keeps you in the driver's seat
Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compiler-driven deve...
A SuperCompiler for Martin-Löf's Type Theory
Large Scale Type Systems: ML/C Hybrid Programming Language
Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
A hybrid programming language written in Rust.
RFCs for Luau evolution
Raven is a new systems and application programming language designed to combine the performance and control of C++, the safety and modern features of...
A graphical and highly interactive programming language
Sacara VM
A structured, dynamic, general-purpose language.
A web crawling programming language
Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native code.
The Euphoria programming language (https://openeuphoria.org/)
The Motzi B'She'ela - Official compiler for the Codesh programming language.
Citrine Programming Language
AS3 running on the command line / server side
凹(Wa)语言(The Wa Programming Language)
🦄 Brainfuck is an esoteric programming language 🦄
The Hook Programming Language
Dependently Typed Lambda Calculus in Haskell
Magelang is a programming language targeting webassembly
A procedural programming language built in Rust which compiles to QBE
List of small programming languages that you can implement in a relatively small amount of time for educational purposes.
A programming language based on MATLAB and suitable for code golfing
Tunisian Programming Language, Ncodi - Code in your own words.
The JSON Programming Language
Code for the TMLR 2023 paper "PPOCoder: Execution-based Code Generation using Deep Reinforcement Learning"
Jacquard is a small programming language designed for a regime in which most code is written by machine-learning models and reviewed by people.
Compiler and tools for the Loci programming language.
Crochet: A tool for creating and remixing interactive experiences, safely.
🐝 Wasp : Wasm programming language
TypoScript is JavaScript-like language with typos. Some typos in variable and function names are acceptable.
A rust implementation of the lox language
A toy language based on LLVM that implements the System Fω type-system
Most languages make you choose: safety or the web. Lumina doesn't. Lumina is a statically typed, web-native language with HM type inference, algebrai...
A tasty language for building efficient software. Currently work in progress!
🔮 The application platform for your cyberpunk desk
程序员免费编程书籍资源汇总，不定期分享编程开发相关的编程书籍、技术文章、学习资源、实用软件、互联网相关技术等。供各位小伙伴们学习参考，同时也方便自己提...
🌱 A minimal programming language and compiler.
A small MIDI sequencer DSL designed around vectors and euclidean rhythms
neo-c is C + GC transpiler. It has reffrence count GC with memory leak detector. self-hosted with zero memory leaks. It can output the code depends o...
:guitar::long_drum::magic_wand: Make DSP Great Again. Powered by RISC-V!
Native 32-bit colorForth for PCs, Bochs and Qemu.
TMBASIC — Programming language for writing non-graphical programs
Karuta HLS Compiler: High level synthesis from prototype based object oriented script language to RTL (Verilog) aiming to be useful for FPGA developme...
Список интересных телеграм каналов, чатов, груп в сфере IT & Digital
Signed is a 3D modeling and construction language based on Lua and SDFs. Signed will be available for macOS and iOS and is heavily optimized for Metal...
Hello-World program in most programming languages
McIlroy's TMG compiler-compiler in portable C