A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
Repository Index
70,234 visible repositories in the index
433–456 of 630 · Most stars
Embedded JavaScript Engine for R
- cran
- libv8
- r
- javascript
[TOOL/CLI] - Filter and examine Go type structures, interfaces and their transitive dependencies and relationships. Export structural types as TypeScript value object or bare type representations.
- go
- golang
- type
- struct
An implementation of React hooks on top of purescript-react-basic
This is a grunt task for adding a grunt task to compiler ES6 JS into ES3 JS using Traceur Compiler
Like `Promise.all()` but for `Map` and `Object`
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
🌟 DataFormsJS 🌟 A minimal JavaScript Framework, standalone React and Web Components, and JSX Compiler for rapid development of high quality websites and single page applications.
- javascript-framework
- react-components
- web-components
- dataformsjs
Rust-like error handling and options for Bun, Deno and Node.
- deno
- typescript
- rust
- error-handling
SUSHI (aka "SUSHI Unshortens Short Hand Inputs") is a reference implementation command-line interpreter/compiler for FHIR Shorthand (FSH).
Jitescript - Java API for Bytecode
The iterable toolbox
SDL2 module for Deno
:ram: :mag_right: Lens library built on ramda
Easy OCaml bindings for Javascript libraries
A Lens Library for Javascript
Embedded mruby/Ruby for Crystal
- crystal
- mruby
- scripting
- ruby
FMOD Studio middleware integration and scripting API bindings for the Godot game engine.
- game-development
- game-engine-development
- game-audio
- dynamic-audio
Free monad Collection
A friendly and modern functional object oriented language for shell script.
- programming-language
- scripting-language
- command-line
- terminal
transpiler written in bash: painless shellscript, indentbased, coffee for the shell with hipster-sparkles v1 BETA LANDED 🎉🎉🎉🎉 thanks fcard!
- coffeescript
- bash
- transpiler
🤘Utility library for functional JavaScript. With ❤️ to Ramda.
- ramda
- ramda-functions
- utils
- utilities
Abstract Syntax Tree for parsing schema.prisma files
Modern CSS to all browsers
- css
- processor
- preprocessor
- compatibility