yuxi-liu-wired / cyc-archive
An archive of material related to the Cyc project.
☆20Updated last week
Alternatives and similar repositories for cyc-archive:
Users that are interested in cyc-archive are comparing it to the libraries listed below
- nqthm - the original Boyer-Moore theorem prover, from 1992☆51Updated 8 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆38Updated 13 years ago
- ☆55Updated last year
- Guy Steele's RABBIT Scheme compiler☆60Updated 16 years ago
- Poplog☆21Updated 14 years ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- Try s7 scheme in your browser, powered by WebAssembly☆42Updated 4 years ago
- Unofficial repository for JSqueak: A Java implementation of Squeak Smalltalk.☆23Updated 2 years ago
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- A simple incomplete Scheme-to-C compiler☆67Updated last month
- A programming argot☆58Updated last year
- #F (Sharp-F or False) is a portable compiler/runtime for a minimalistic subset of the Scheme programming language. Compatibility with R5R…☆50Updated 2 years ago
- s7 Scheme☆58Updated 6 years ago
- Crosstalk: Smalltalk in Scheme -- clean room bootstrap of Smalltalk core☆22Updated last week
- combined object/lambda architcture☆25Updated 15 years ago
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- A Java implementation of the Shen programming language☆28Updated 5 years ago
- SWI-Prolog dynamic C interface☆17Updated 6 months ago
- ☆26Updated 3 weeks ago
- Croquet Jasmine (2004) on SqueakJS☆31Updated 10 months ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆16Updated 5 years ago
- from ftp://ftp.informatik.uni-kiel.de/pub/kiel/apply/☆19Updated 8 years ago
- Reason about Bitcoin addresses with Prolog☆22Updated last year
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆28Updated 3 years ago
- Gwydion Dylan - compiler for Dylan targeting C☆9Updated 13 years ago
- okami is an application development platform☆35Updated 8 months ago
- Simple Neural Network Examples in 8 lines APL☆31Updated last year
- Kanren with databases☆43Updated 8 months ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆16Updated 5 years ago
- The RScheme Revival Project☆33Updated 15 years ago