Simple Virtual Machine written in Haskell
☆28May 10, 2014Updated 11 years ago
Alternatives and similar repositories for hs-vm
Users that are interested in hs-vm are comparing it to the libraries listed below
Sorting:
- ☆23Nov 13, 2014Updated 11 years ago
- SPAKE2 key exchange protocol for Haskell☆14May 24, 2023Updated 2 years ago
- Framework for building modern web applications in Lisp☆37Dec 13, 2020Updated 5 years ago
- A Hello World program in Coq.☆17May 28, 2022Updated 3 years ago
- Hierarchical computation graphs; details at☆19Sep 6, 2016Updated 9 years ago
- Little Racket Interpreter☆16Mar 21, 2020Updated 5 years ago
- OCaml Bindings to libgit2 based on Ctypes☆19Jun 20, 2015Updated 10 years ago
- Compile Haskell-like code into C++ template metaprograms☆66Jun 27, 2016Updated 9 years ago
- A prolog interpreter written in Haskell.☆63Jun 29, 2015Updated 10 years ago
- HTML5 parser for Common Lisp☆57Aug 15, 2019Updated 6 years ago
- RethinkDB driver for Common Lisp☆48Jul 8, 2016Updated 9 years ago
- A Java JIT compiler written in Haskell☆73Sep 7, 2013Updated 12 years ago
- Combining Electron and Haskell☆31Jan 21, 2019Updated 7 years ago
- [c++]使用boost.asio写的简单内存键值对缓存☆11Jul 31, 2017Updated 8 years ago
- A Stack-Oriented Imperative Programming language☆11Sep 22, 2019Updated 6 years ago
- An integrated VCS and development environment for Common Lisp☆13Mar 8, 2024Updated last year
- Working through OS development course☆10Jan 25, 2018Updated 8 years ago
- A haskell wrapper for neo4j's Cypher REST API.☆20Jul 31, 2012Updated 13 years ago
- An experimental Function Development Kit for the Rust language☆13Aug 13, 2021Updated 4 years ago
- 💬 CHAT: Instant Messenger. ITU/IETF: 3394, 3565, 5280, 5480, 5652, 5755 8551, X.509, CMS, PKCS-10, PCKS-7, OCSP, LDAP, DNS; ANSI: X9-42,…☆11Updated this week
- Common Lisp package for generating GraphViz (dot) files☆41Feb 21, 2024Updated 2 years ago
- java-like synchronized blocks in c++☆13Mar 8, 2014Updated 11 years ago
- Sparse Matrix Factorization (SMF) is a key component in many machine learning problems and there exist a verity a applications in real-w…☆11Jan 25, 2016Updated 10 years ago
- Model of baysig language in Haskell (minus estimate)☆15Jun 23, 2016Updated 9 years ago
- Fork of QEMU with Virtual Machine Introspection patches☆14Sep 13, 2023Updated 2 years ago
- HTTP request lib for Emacs built on curl with flexible callback dispatch☆14Mar 17, 2025Updated 11 months ago
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- ☆15Aug 4, 2025Updated 7 months ago
- Fluent sequence operations in Python☆12Sep 18, 2012Updated 13 years ago
- ☆13Nov 11, 2024Updated last year
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 7 years ago
- Packaging for Eask CLI☆10Updated this week
- Common Lisp metaclass adding support for slot validation☆11Mar 31, 2025Updated 11 months ago
- Fast and high-concurrent C++ RPC framework, based on protobuf and boost::asio☆10Aug 16, 2019Updated 6 years ago
- Decode and print process signal masks, given a process id on Linux.☆11Sep 14, 2025Updated 5 months ago
- Style guide for jxnblk.com☆14Oct 6, 2015Updated 10 years ago
- Exploration of spark streaming based on the BigData.be project 2☆15Sep 2, 2013Updated 12 years ago
- A transient UI for Cargo, Rust's package manager☆11Dec 17, 2025Updated 2 months ago
- SQL Mapping Framework for Common Lisp☆10Feb 7, 2026Updated last month