Giters
srgx

srgx

Geek Repo

3

followers

0

following

193

stars

Location:Akslop

Github PK Tool:Github PK Tool

srgx's starred repositories

felix

The Felix Programming Language

Language:CLicense:NOASSERTIONStargazers:799Issues:0Issues:0

jank

A Clojure dialect hosted on LLVM with native C++ interop

Language:C++License:MPL-2.0Stargazers:1540Issues:0Issues:0

Feral

Feral programming language reference implementation

Language:C++License:MITStargazers:140Issues:0Issues:0

pyret-lang

The Pyret language.

Language:JavaScriptLicense:NOASSERTIONStargazers:1061Issues:0Issues:0

min

A small but practical concatenative programming language and shell

Language:NimLicense:MITStargazers:310Issues:0Issues:0

citrine

Citrine Programming Language

Language:CLicense:BSD-2-ClauseStargazers:100Issues:0Issues:0

The-Spiral-Language

Functional language with intensional polymorphism and first-class staging.

Language:PythonLicense:MPL-2.0Stargazers:916Issues:0Issues:0

pure-lang

Pure programming language

Language:C++Stargazers:312Issues:0Issues:0

fbgc

Small Programming Language in C

Language:CLicense:GPL-3.0Stargazers:7Issues:0Issues:0

cicada

Cicada scripting language

Language:CLicense:MITStargazers:5Issues:0Issues:0

dark

Darklang main repo, including language, backend, and infra

Language:F#License:NOASSERTIONStargazers:1644Issues:0Issues:0

lean4

Lean 4 programming language and theorem prover

Language:LeanLicense:Apache-2.0Stargazers:4072Issues:0Issues:0

qore

Qore Programming Language

Language:C++License:GPL-2.0Stargazers:58Issues:0Issues:0

lbstanza

L.B. Stanza Programming Language

Language:C++License:NOASSERTIONStargazers:20Issues:0Issues:0

cuneiform

Cuneiform distributed programming language

Language:ErlangLicense:Apache-2.0Stargazers:230Issues:0Issues:0

umka-lang

Umka: a statically typed embeddable scripting language

Language:CLicense:BSD-2-ClauseStargazers:1007Issues:0Issues:0

ecere-sdk

Ecere SDK (eC Language, Ecere IDE, Cross platform GUI, graphics, and more) — http://ec-lang.org —

Language:eCLicense:NOASSERTIONStargazers:353Issues:0Issues:0

ChaiScript

Embedded Scripting Language Designed for C++

Language:C++License:NOASSERTIONStargazers:2908Issues:0Issues:0

abs

Home of the ABS programming language: the joy of shell scripting.

Language:GoLicense:MITStargazers:512Issues:0Issues:0

Vale

Compiler for the Vale programming language - http://vale.dev/

Language:ScalaLicense:Apache-2.0Stargazers:1747Issues:0Issues:0

zig

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

Language:ZigLicense:MITStargazers:32721Issues:0Issues:0

nature

🍀 The Nature Programming Language, may you be able to experience the joy of programming.

Language:CLicense:MITStargazers:738Issues:0Issues:0

moonscript

:crescent_moon: A language that compiles to Lua

Language:LuaStargazers:3166Issues:0Issues:0

squirrel

Official repository for the programming language Squirrel

Language:C++License:MITStargazers:895Issues:0Issues:0

swipl-devel

SWI-Prolog Main development repository

Language:CLicense:NOASSERTIONStargazers:932Issues:0Issues:0

asteria

The Asteria Programming Language

Language:C++License:BSD-3-ClauseStargazers:399Issues:0Issues:0

quirrel

Quirrel - Gaijin Entertainment dynamic script language

Language:C++License:MITStargazers:145Issues:0Issues:0

flix

The Flix Programming Language

Language:ScalaLicense:NOASSERTIONStargazers:2105Issues:0Issues:0

effekt

A research language with effect handlers and lightweight effect polymorphism

Language:ScalaLicense:MITStargazers:306Issues:0Issues:0

eff

A functional programming language based on algebraic effect handlers

Language:OCamlLicense:BSD-2-ClauseStargazers:852Issues:0Issues:0