michaelballantyne / homebrew-chezView external linksLinks
Homebrew tap for installing Chez Scheme (https://github.com/cisco/chezscheme)
☆14May 2, 2016Updated 9 years ago
Alternatives and similar repositories for homebrew-chez
Users that are interested in homebrew-chez are comparing it to the libraries listed below
Sorting:
- A complete Scheme R5RS implementation, designed to be embedded in to C and C++ applications.☆17Feb 21, 2015Updated 10 years ago
- A YAML library for Racket.☆20Jan 19, 2026Updated 3 weeks ago
- Mickey Scheme is an interpreter for R7RS Scheme written in pure C++☆64Jun 9, 2017Updated 8 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆32May 11, 2019Updated 6 years ago
- lein-ancient like task for boot☆27Nov 15, 2019Updated 6 years ago
- Dhall bindings for Idris☆41Aug 14, 2025Updated 6 months ago
- 强大灵活的移动端web nas文件管理☆17Jan 5, 2026Updated last month
- ☆11Oct 25, 2024Updated last year
- Low cost USB RF transceiver☆11Feb 4, 2026Updated last week
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- Ocean sensor data from the NOAA CO-OPS API☆14Jul 14, 2016Updated 9 years ago
- Crawl Google web search result and get text from the url that google give us☆10Sep 17, 2015Updated 10 years ago
- A JMM Cookbook for Java Developers(as opposed to a cookbook for Compiler Writers)☆12Jun 13, 2014Updated 11 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- 实现欧拉视频放大并用于心率检测等☆12Jul 30, 2018Updated 7 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Galaxy is a lightweight software deployment and management tool. We use it at Ning to manage the Java cores and Apache httpd instances th…☆21Sep 11, 2011Updated 14 years ago
- ☆12Mar 13, 2025Updated 11 months ago
- The Chronix storage based on Apache Lucene☆47Oct 30, 2017Updated 8 years ago
- formally and easily, describe the semantics.☆13Aug 17, 2020Updated 5 years ago
- A decompilation of iMessage Chat from Huluwa☆23Jan 1, 2023Updated 3 years ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆17Jul 10, 2025Updated 7 months ago
- Guess sentences from initial letters of each word☆22Aug 22, 2022Updated 3 years ago
- Example of using devcards with boot☆10Jun 15, 2016Updated 9 years ago
- Scheme implementation written in Rust☆35Jan 22, 2015Updated 11 years ago
- ☆16Aug 2, 2023Updated 2 years ago
- Example of attaching a Hoplon component to a mount point in an existing HTML page.☆10May 19, 2017Updated 8 years ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- git-xltrail-addin is a BSD-licensed Excel Addin that integrates Git with Excel and vice versa. It works with Microsoft Excel on Windows.☆14May 13, 2018Updated 7 years ago
- A time-tracker built for education, fun and eventually profit.☆14Dec 11, 2022Updated 3 years ago
- A BCI implementation to control a rover with your thoughts.☆12Jan 30, 2019Updated 7 years ago
- Adds a `with_retry` block for writing `with` statements that are automatically retried.☆11May 22, 2019Updated 6 years ago
- A performance test comparing Scala verses Erlang with simple agents to determine messaging performance☆24Feb 15, 2013Updated 13 years ago
- TypeScript client for Idris IDE-mode.☆13Nov 6, 2022Updated 3 years ago
- App for appending clipboard text into file using a global hotkey.☆10Dec 16, 2016Updated 9 years ago