The Strobe Type Checker for JavaScript
☆16Jun 12, 2012Updated 14 years ago
Alternatives and similar repositories for strobe
Users that are interested in strobe are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Semantics for ES5☆84Oct 28, 2015Updated 11 years ago
- JavaScript semantics☆18Aug 10, 2012Updated 14 years ago
- Semantics and tools for JavaScript☆92Feb 27, 2022Updated 4 years ago
- Obsolete. See http://github.com/greedy/scala☆11Jul 18, 2011Updated 15 years ago
- ☆59Jan 30, 2014Updated 12 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Cleanse your node.js program of require.cache malarky so that compile-to-js languages have to actually be compiled to js.☆14May 3, 2013Updated 13 years ago
- Type safe anonymous remote procedures in Haskell☆15Sep 24, 2013Updated 13 years ago
- Generate realistic looking fake data☆11Feb 24, 2018Updated 8 years ago
- An implementation of substructural intuitionistic logic focused on forward chaining☆15Oct 16, 2013Updated 13 years ago
- A datalog prover, written in haskell.☆12Apr 13, 2014Updated 12 years ago
- WebSharper bindings for D3 (http://d3js.org)☆10Oct 20, 2026Updated last week
- Python framework code for cs173/fall 2012☆17Dec 4, 2012Updated 13 years ago
- fsharp engine for scriptcs☆14Jul 23, 2015Updated 11 years ago
- Plugin for rustc to dump MIR in JSON format☆16Updated this week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Haskell to Javascript compiler (via GHC)☆20Jan 27, 2020Updated 6 years ago
- Various compiled PythonDotNet versions☆11Dec 11, 2014Updated 11 years ago
- Earley parsing algorithm implementation in Haskell including a CFG definition API☆13Sep 26, 2011Updated 15 years ago
- .NET bindings to Pandoc☆12May 26, 2010Updated 16 years ago
- ☆15Nov 17, 2016Updated 9 years ago
- Very simple job scheduler for Haskell☆10Aug 23, 2012Updated 14 years ago
- F# build library loosely inspired by Haskell Shake☆16Oct 31, 2013Updated 12 years ago
- Haskell ECMA 262 interpreter☆10Jul 13, 2015Updated 11 years ago
- Parser and type analysis for the Go programming language☆12Apr 3, 2026Updated 6 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A simple and educational compiler for the SASL programming language☆23Apr 16, 2018Updated 8 years ago
- A lightweight, standalone event delegation library☆15May 10, 2011Updated 15 years ago
- Practical type inference for arbitrary-rank types☆11May 25, 2019Updated 7 years ago
- Haskell library for evaluating whether chess moves are allowed on a given position☆13Mar 13, 2015Updated 11 years ago
- The Delphin Project☆10Aug 19, 2016Updated 10 years ago
- A type-level logic programming language embedded in F#☆36Mar 5, 2018Updated 8 years ago
- A Terraform Provider to consume Pulumi Cloud outputs☆14May 10, 2023Updated 3 years ago
- The CJ Manifesto☆19Nov 20, 2014Updated 11 years ago
- ☆13May 5, 2014Updated 12 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Visualizations of U.S. flight data☆12Jan 27, 2016Updated 10 years ago
- The LLVM Symbolic Simulator, part of SAW.☆22Jul 17, 2020Updated 6 years ago
- Buildpack-ocaml to run OCaml program on Heroku.☆19Jun 7, 2013Updated 13 years ago
- Import infrastructure managed outside of Pulumi IaC into Pulumi Insights☆12Oct 14, 2024Updated 2 years ago
- A Pulumi resource provider for running commands☆15Jul 5, 2023Updated 3 years ago
- Simple example of a Flex Scanner Paired with a Lemon Parser☆25Feb 5, 2013Updated 13 years ago
- Pure Scheme Gopher Server☆11Jan 21, 2012Updated 14 years ago