Automatically exported from code.google.com/p/llvm-lua
Repository Index
74,362 visible repositories in the index
697–720 of 1,055 · Most stars
Modern CSS to all browsers
- css
- processor
- preprocessor
- compatibility
Delphi wrapper for OpenSSL
- cryptography
- delphi
- openssl
- rsa
Get inside your JVM
- jvm
- java
- monitoring
- repl
A realtime visual programming language for interactive media.
Swift cryptography library for Bitcoin and Nostr. ECDSA, Schnorr, ECDH, and zero-knowledge proofs on secp256k1. Apple platforms and Linux.
- taproot
- secp256k1
- swift
- schnorr
Bringing the wonders of Elm to the iOS platform
- elm
- ios
- gsoc-2017
A programming language for generating code for multiple platforms
The asynchronous version of Elixir's "with", resolving the dependency graph and executing the clauses in the most performant way possible!
- elixir
- async
Rocket League Replay parser in Rust
- rust
- serde
- rocket-league
A super simple Lodash like utility library with essential functions that empowers the development in Go
👾 A Forth-based Game Boy development kit
An extension of LPeg that supports labeled failures
Delphi and Free Pascal bindings and classes for Microsoft's ChakraCore library
- chakracore
- microsoft
- javascript-engine
- delphi
Less language is an extension of css and less4j compiles it into regular css. Less adds several dynamic features into css: variables, expressions, nested rules, and so on. Less was designed to be compatible with css and any correct css file is also correct less file.
TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a proof.
- formal-verification
- lean4
- proof-carrying-code
- type-safety
Gentee - script programming language for automation. It uses VM and compiler written in Go (Golang).
- scripting-language
- automation
- programming-language
- compiler
Fast, safe, complete libvips bindings for image processing in Java / JVM projects
- ffm
- image-processing
- java
- libvips
A library of mechanised undecidability proofs in the Coq proof assistant.
Embedded and Extensible Scripting Language in Clojure
- lua
- eden
- clojure
- clojurescript
Arrow-macros provides Clojure-like arrow macros in Common Lisp
0MQ Delphi binding
VerySimple.Lua - Lua 5.3 for Delphi
A safe way to execute functions asynchronously, recovering them in case of panic. It also provides an error stack aiming to facilitate fail causes discovery.
- go
- async
- hacktoberfest