Skip to content
View jnv's full-sized avatar

Organizations

@MewsSystems @sdbs-cz @czechitas

Block or report jnv

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
Stars

Languages

49 repositories

A system to amalgamate any features you want into any language you need

C 26 3 Updated Sep 3, 2022

A VM That is Dynamic and Fast

C 1,604 58 Updated Nov 4, 2024

A low footprint JavaScript engine for embedded systems

C 1,697 87 Updated Jan 30, 2025

The Wren Programming Language. Wren is a small, fast, class-based concurrent scripting language.

Wren 7,063 569 Updated Feb 16, 2025

Pawn is a quick and small scripting language that requires few resources.

C 513 81 Updated Sep 14, 2024

Programming language for literate programming law specification

OCaml 2,041 80 Updated Feb 28, 2025

A data manipulation language with a focus on flexibility and simplicity.

Python 4 Updated Jul 22, 2022

Ecstasy and XVM

Java 203 21 Updated Mar 1, 2025

A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites

C++ 274 15 Updated Feb 5, 2023

A small extensible programming language designed for concise expression with little code.

Rust 1,066 38 Updated Sep 11, 2024

Better configuration for less

Rust 2,514 98 Updated Mar 3, 2025

the kdl document language specifications

Makefile 1,272 66 Updated Feb 25, 2025

A statically typed scripting language that transpile into POSIX sh

V 613 8 Updated Jan 28, 2025

okta programming language compiler. THIS IS A MIRROR OF THE ORIGINAL REPO HOSTED IN SOURCEHUT.

Rust 27 2 Updated May 1, 2022

A fast, concurrent and embeddable scripting language

Rust 44 1 Updated Apr 29, 2022

A safe, easy systems language

Rust 1,948 84 Updated Feb 23, 2025

Programming Languages Zoo

OCaml 1,472 80 Updated Jun 18, 2024

Simple, extendable and embeddable scripting language.

Rust 539 52 Updated Mar 3, 2025

A fast, friendly, functional language.

Rust 4,836 327 Updated Mar 3, 2025

A statically typed language compatible with Python

Rust 2,753 57 Updated Feb 27, 2025

The language where computation happens through the will of the gods

PEG.js 35 2 Updated Aug 16, 2022

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,107 23 Updated Sep 20, 2023

A stream-based runtime-verification framework for generating hard real-time C code.

Haskell 681 59 Updated Feb 28, 2025

The fastest way to develop full-stack web apps with React & Node.js.

TypeScript 15,165 1,263 Updated Feb 26, 2025

Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

Assembly 1,398 45 Updated Oct 17, 2024

A dynamic general-purpose high-level functional-programming language with familiar syntax that compiles to native binaries.

Scheme 9 1 Updated Aug 29, 2022

PLDB: a Programming Language DataBase

JavaScript 749 105 Updated Mar 3, 2025

Lunatic is an Erlang-inspired runtime for WebAssembly

Rust 4,677 136 Updated Mar 18, 2024

Enso Analytics is a self-service data prep and analysis platform designed for data teams.

Scala 7,402 326 Updated Mar 3, 2025

Goby - Yet another programming language written in Go

Go 3,499 174 Updated Feb 25, 2023