Implementations of sublanguages of JavaScript for SICP JS
☆79Aug 8, 2026Updated this week
Alternatives and similar repositories for js-slang
Users that are interested in js-slang are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 😃 Simplified Immer for learning Immer source code.☆12Jan 1, 2021Updated 5 years ago
- Functional Programming for Logicians, 2019 Spring, ELTE☆12Jun 11, 2019Updated 7 years ago
- writing a miniapp compiler using rspack (for share)☆14Jul 11, 2023Updated 3 years ago
- An Openconnect Lib/GUI for rust☆23Mar 30, 2025Updated last year
- 用Vue和iview制作的影院系统☆13Jan 27, 2022Updated 4 years 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.
- My fork of matlab-mode☆13Jan 4, 2017Updated 9 years ago
- Source code and logic to build Luau for Rust☆10Jul 5, 2026Updated last month
- yggdrasil compiler with rust runtime☆26Nov 21, 2025Updated 8 months ago
- A cli for spinning up and managing Ray clusters for the Daft Query Engine.☆14Feb 15, 2025Updated last year
- ☆42Apr 24, 2023Updated 3 years ago
- Crossdart Chrome Extension, adds "Go to Declaration" and "Find Usages" to Dart projects on Github.☆12Jun 5, 2016Updated 10 years ago
- HTML5 Application to manipulate a Coons Bicubic Surface in 3D using its corner points, U and W tangents and UW twists.☆11Aug 19, 2019Updated 6 years ago
- LaTeX packages for drawing extendible hashing indexes and linear hashing indexes using TikZ.☆14Oct 9, 2024Updated last year
- A slide - WIP☆29Apr 4, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- First-order temporal logic programming with microKanren☆19Nov 3, 2017Updated 8 years ago
- A small usage example on how to build and use SDL.zig☆12Feb 15, 2021Updated 5 years ago
- PSD, the Portable Scheme Debugger☆15Aug 26, 2022Updated 3 years ago
- Read-only mirror of https://git.vdb.to/cerc-io/ipld-eth-server (Server backend for indexed ETH IPLD objects)☆13Nov 7, 2025Updated 9 months ago
- (POC) A demo illustrating frond-end source code encryption with WebAssembly.☆11Jun 22, 2022Updated 4 years ago
- ☆14Sep 2, 2012Updated 13 years ago
- logic programming in elixir☆10Nov 1, 2018Updated 7 years ago
- SRS with Hypothes.is☆14May 6, 2021Updated 5 years ago
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 10 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A C & x86 version of the "Let's Build a Compiler" by Jack Crenshaw☆11Nov 30, 2018Updated 7 years ago
- Javascript interpreters featuring web workers☆39Nov 2, 2016Updated 9 years ago
- sorear's Metamath system engine☆14May 5, 2016Updated 10 years ago
- Implementation of Virtual Camera from scratch☆10May 5, 2022Updated 4 years ago
- github贴吧化计划 | Serverless Forum based on 2012 Tieba design and Github API.☆13Dec 5, 2019Updated 6 years ago
- SVG screencast - animated SVG files from screenshots using CSS animations☆33Apr 28, 2022Updated 4 years ago
- Generic heap allocation procedures Memory.New(ptr, size) for the Project Oberon 2013 operating system☆12Nov 4, 2024Updated last year
- native <canvas> for desktop applications☆16Feb 20, 2021Updated 5 years ago
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- An implementation of lambda calculus.☆26Mar 18, 2026Updated 4 months ago
- jsjs is a JavaScript engine written in JavaScript on top of the Java Virtual Machine☆13May 2, 2015Updated 11 years ago
- Simple implementation of raft based consensus algorithm used in distributed systems. This application is built for demonstration purpose …☆20Mar 21, 2022Updated 4 years ago
- linux programming book examples☆17Apr 11, 2020Updated 6 years ago
- ARMv7 Single-Cycle processor implementation in Logisim☆13Sep 20, 2022Updated 3 years ago
- OCaml binary heap implementation by Jean-Christophe Filliatre☆18Nov 29, 2020Updated 5 years ago
- N. Wirth's Project Oberon RISC compiler ported to Go.☆19Feb 12, 2024Updated 2 years ago