⭐️ A friendly language for building type-safe, scalable systems!
- gleam
- programming-language
- compiler
- erlang
Repository Index
47,133 repositories indexed
1–24 of 33 · Most stars
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
JSPatch bridge Objective-C and Javascript using the Objective-C runtime. You can call any Objective-C class and method in JavaScript by just including a small engine. JSPatch is generally used to hotfix iOS App.
- jspatch
- hotfix
- jsbridge
- objc-runtime
JavaScript & TypeScript persistent and optionally immutable data tree with cursors.
Vigil, the eternal morally vigilant programming language
jsii allows code in any language to naturally interact with JavaScript classes. It is the technology that enables the AWS Cloud Development Kit to deliver polyglot libraries from a single codebase!
A really simple way to move a function or class to a web worker. 🏋️♀️→ 😄
- webworker
- javascript
- developer-tools
- thread
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
- functional-programming
- common-lisp
- type-safety
Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.
- liquidsoap
- streaming
- webradio
Localization/I18n: Incrementally update/translate your Strings files from .swift, .h, .m(m), .storyboard or .xib files.
- localization
- xib
- storyboard
- swift
Safe and idiomatic TypeScript types to handle null, error, and async code handling: Maybe, Result, and Task types that are really nice.
- typescript
- typescript-library
- typescript-definitions
- functional-programming
Comically fast Dota 2, CSGO, CS2 and Deadlock replay parser written in Java.
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
A framework for formally verifying distributed systems implementations in Coq
- verdi
- coq
- coq-library
- proof
A Promise library for Swift, based partially on Javascript's A+ spec
Java type safe statically compiled mustache
- annotation-processor
- java
- mustache
- template-engine
GtkD is a D binding and OO wrapper of GTK+ originally created by Antonio Monteiro
Sophisticated and functionally-minded async with advanced features: coroutines, promises, ES2015 iterables, fantasy-land
- promise
- fantasy-land
- async
- asynchronous
formally verified category theory library
- category-theory
- formal-verification
- formal-proofs
A complete header translation (binding) of the raylib 6.2 to Pascal. Without any funky helper functions for memory alignment issues. Inspired and partially based on the drezgames/raylib-pascal binding, however a little cleaner and more recent, with FPC 3.2.0 and up support.
- header-translation
- pascal-binding
- raylib
- lazarus
Automatically exported from code.google.com/p/llvm-lua
A cross-platform modding language for GameMaker games. // Moved to Codeberg! https://codeberg.org/katsaii/catspeak-lang
- domain-specific-language
- gamemaker-studio-2
- dynamically-typed
- compiler
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
- code-formatter
- code-generation
- mypy
- pyannotate
Library for writing patterns to generate or process (a)musical sequences of mathematically (un)related (non-)compound values in Lisp.
- supercollider
- lisp
- synth
- sequencer