Skip to content
View vendethiel's full-sized avatar

Block or report vendethiel

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

A Jupyter kernel for Dyalog APL

Python 69 20 Updated Dec 1, 2023

Open-source implementation of the K programming language

C 1,364 138 Updated Jun 2, 2023
Idris 106 27 Updated Nov 21, 2024

Clojure Desktop UI framework

Clojure 1,508 52 Updated Nov 22, 2024

A list of Lisp-flavored programming languages

745 39 Updated Oct 22, 2024

Official chibi-scheme repository

Scheme 1,226 141 Updated Nov 13, 2024

Context sensitive completion for OCaml in Vim and Emacs

OCaml 1,587 232 Updated Nov 21, 2024

Gerbil Scheme

Scheme 1,162 112 Updated Oct 23, 2024

A language for building concurrent software with confidence

Rust 906 41 Updated Nov 24, 2024

Clozure Common Lisp

Common Lisp 857 103 Updated Nov 8, 2024

clasp Common Lisp environment

Common Lisp 2,579 145 Updated Nov 20, 2024

The Superior Lisp Interaction Mode for Emacs

Common Lisp 1,908 336 Updated Nov 21, 2024

Low-level UI infrastructure & framework for Pharo

Smalltalk 83 40 Updated Nov 22, 2024

A widget framework on top of Bloc

Smalltalk 19 9 Updated Nov 23, 2024

The MLton repository

Standard ML 960 127 Updated Nov 2, 2024

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

Zig 35,090 2,556 Updated Nov 24, 2024

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

Scala 1,789 54 Updated May 14, 2024

A friendly programming language from the future

Haskell 5,808 271 Updated Nov 22, 2024

A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.

Rust 1,092 23 Updated Sep 20, 2023

ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.

ReScript 6,760 450 Updated Nov 21, 2024

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 c…

Red 5,550 411 Updated Nov 23, 2024

The Racket repository

Racket 4,821 661 Updated Nov 23, 2024

Pony is an open-source, actor-model, capabilities-secure, high performance programming language

C 5,725 415 Updated Nov 23, 2024

Mozart Programming System v2

Oz 566 96 Updated Apr 28, 2023

Odin Programming Language

Odin 7,004 620 Updated Nov 21, 2024

The core OCaml system: compilers, runtime system, base libraries

OCaml 5,505 1,107 Updated Nov 21, 2024

A functional programming language with static memory management

Haskell 841 11 Updated Nov 24, 2024

🌙 A language that compiles to Lua

Lua 3,220 191 Updated Nov 23, 2024

MetaCall: The ultimate polyglot programming experience.

C 1,578 163 Updated Nov 22, 2024

The Lobster Programming Language

C++ 2,299 120 Updated Nov 22, 2024
Next