proglangs-discord

There are 8 repositories under proglangs-discord topic.

eashanhatti / peridot
A fast functional language based on two level type theory
dependent-types systems-language programming-language type-theory haskell proglangs-discord
Language:Haskell 389
cognate
cognate-lang / cognate
A human readable quasi-concatenative programming language
programming-language functional-programming stack-language natural-language closures compiler forth prefix-notation language interpreter lambda-calculus stack-based-language c forth-like based-stack-based-language proglangs-discord combinatorics
Language:C 204
Feral-Lang / Feral
Feral programming language reference implementation
programming-language interpreter compiler scripting-language interpreted-programming-language bytecode-interpreter cpp cxx proglangs-discord cxx20 cpp20
Language:C++ 140
butter
neverRare / butter
A tasty language for building efficient software. Currently in hiatus
programming-language butter language rust compiler proglangs-discord
Language:Rust 111
magicmouse / beads-examples
Examples of Beads programs
next generation language hyperfunctional beads sample programs proglangs-discord
Language:HTML 100
CSpydr
Spydr06 / CSpydr
A static typed low-level compiled programming language inspired by Rust and C
low-level cspydr compiler static-typed programming-language c rust language csp compilation standard-library stdlib syntax assembly x86-64-linux-gnu x86-64 assembly-x86-64 compiler-construction proglangs-discord hacktoberfest
Language:C 80
Jackojc / cane
A small MIDI sequencer DSL designed around vectors and euclidean rhythms
cpp dsl euclidean-rhythms midi minimalist music proglangs-discord programming-language rhythms sequencer jackaudio pipewire cane composition linux-audio music-tracker notation song vector-language tracker
Language:C++ 72
amethyst-lang / amethyst
Amethyst is a systems language aimed at being simple, small, portable, and safe.
proglangs-discord
Language:Rust 45
Spydr06 / BCause
BCause (pronounced "because") is a compiler for the old B programming language (1969) for modern systems.
assembly b bcause bell-labs c c99 compiler hacktoberfest hacktoberfest2023 language libb proglangs-discord programming-language single-pass
Language:C 45
azur1s / holymer
(WIP) A programming language
compiler proglangs-discord programming-language rust transpiler
Language:Rust 42
UberPyro / prowl
WIP stack language that uses regex for control flow
based-stack-based-language forth-like functional-programming logic-programming ocaml proglangs-discord programming-language regex stack-based-language
Language:OCaml 36
joes-esolangs / barrel
An esoteric RPN golfing language
transpiler stack-based stack-language forth-like lists dynamically-typed based-stack-based-language rpn golfing-language minimal barrel concatenative language programming-language proglangs-discord racket racket-lang
Language:Racket 24
scribe-lang / scribe
Scribe Reference Compiler
compiler programming-language language scribe proglangs-discord
Language:C++ 23
Som-Lang
SjVer / Som-Lang
The Som functional programming language
compiled compiled-languages compiler compilers expression language proglangs-discord programming-language programming-languages llvm functional-programming
Language:OCaml 22
Jackojc / klaxon
Minimalist RPN language that compiles to x86-64 assembly (with more backends to come).
based-stack-based-language compiler concatenative cpp forth klaxon language minimal minimalist native proglangs-discord programming-language reverse-polish-notation rpn stack-based-language stack-language static-typing
Language:C++ 20
Evi-Lang
SjVer / Evi-Lang
The Evi programming language
proglangs-discord language compiler programming-language llvm compiled compilers llvm-frontend programming programming-languages
Language:C++ 16
imp-language / imp
Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.
imp jvm language compiler proglangs-discord
Language:Java 12
azur1s / atacamite
An interpreted stack-based programming language
haskell proglangs-discord programming-language stack-based-language
Language:Haskell 5
Jackojc / deck
Minimalistic stack based language with unstructured control flow that compiles to x64 assembly
assembly based-stack-based-language compiler concatenative deck forth minimal native proglangs-discord programming-language reverse-polish-notation rpn stack-based stack-based-language x86-64
Language:C++ 5
mlatu-lang / readable-mlatu
An alternative mlatu implementation, written in C
proglangs-discord
Language:C 5
Jackojc / unreadable-mlatu
an implementation of mlatu in C++ with a goal towards performance
concatenative language minimal mlatu proglangs-discord programming-language term-rewriting
Language:C++ 4
megabytesofrem / deimos
The compiler for Deimos, a small, low-level Lua inspired language
compiler programming-language proglangs-discord
Language:Rust 4
SjVer / MQS
Math Question Solver
algebra maths proglangs-discord programming-language programming-languages rust theorem-prover theorem-proving work-in-progress
Language:Rust 4
Andrew-William-Smith / hudson-changelog
Changelog for the Hudson toolchain's sourcehut repository: https://git.sr.ht/~awsmith/hudson
programming-language hudson-language proglangs-discord
Language:Shell 1
SjVer / Solve
A toy programming language focussing on substitution
functional-language functional-programming interpreted-programming-language interpreter proglangs-discord programming-language programming-languages
Language:C++ 1