Reflective actor-based language
☆28Jan 2, 2017Updated 9 years ago
Alternatives and similar repositories for Rosette
Users that are interested in Rosette are comparing it to the libraries listed below
Sorting:
- RTOS based on L4 microkernel.☆17Sep 18, 2018Updated 7 years ago
- Tascell: Backtrcking-based load balancing framework☆13Jan 1, 2026Updated 2 months ago
- Combinators in C☆38Jun 5, 2012Updated 13 years ago
- a research software; a fun way of storing files & folders on your local disk drive; tagging☆30Mar 13, 2022Updated 3 years ago
- Formalization of Tendermint proposer election properties☆14Jan 13, 2019Updated 7 years ago
- MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains☆18Dec 4, 2019Updated 6 years ago
- JSON Schema validation☆17Jun 28, 2024Updated last year
- ☆21May 12, 2012Updated 13 years ago
- RChain DApp Game -- Be the nth caller to win☆19Dec 5, 2018Updated 7 years ago
- A dialect of the Kernel programming language.☆27Sep 19, 2011Updated 14 years ago
- Prototype Object Orientation for Gerbil Scheme☆24Sep 19, 2025Updated 5 months ago
- Library of composable generative population models which serve as the modeling and inference backend of BayesDB.☆25Jul 11, 2024Updated last year
- laser-cutting experiments for bootstrapping planar fabrication☆26Sep 13, 2016Updated 9 years ago
- KORE to llvm translation☆42Oct 15, 2025Updated 4 months ago
- A common lisp library for representing and processing biological data such as sequences, genes, proteins, etc...☆30Jun 18, 2024Updated last year
- A well-defined system API for abstracting the OS platform☆66Oct 24, 2021Updated 4 years ago
- An Algebraic, Executable Ur Machine☆37Nov 23, 2018Updated 7 years ago
- Sparsey, trademark Neurithmic Systems, is unsupervised learning algorithm inspired from the computations of cortical macro-columns and mi…☆12Feb 27, 2023Updated 3 years ago
- Aim to be a fullstack MVC framework for Go lang☆14Aug 19, 2011Updated 14 years ago
- Sample code for 3rd party developers working on Android On Snapdragon☆12Sep 4, 2024Updated last year
- A function invocation framework for Python☆11Feb 21, 2024Updated 2 years ago
- Payment Channel based on Ethereum Smart Contract of Session Dynamics☆10Sep 26, 2019Updated 6 years ago
- Tensor Contraction Code Generator☆39Aug 14, 2017Updated 8 years ago
- Work with Amazon S3 and Amazon CloudFront from Common Lisp☆43Mar 31, 2025Updated 11 months ago
- Simple hierarchical notebook that's locale aware☆41Sep 22, 2019Updated 6 years ago
- Metaprogramming framework for .net☆91Dec 27, 2019Updated 6 years ago
- Web forms for Clojure and ClojureScript - rendering, parsing, and validating☆10Dec 3, 2015Updated 10 years ago
- wwPDB PDBx/mmCIF Dictionary☆10Jan 28, 2026Updated last month
- Complements a series at wp.tutsplus.com on Custom Database Tables☆11Dec 6, 2012Updated 13 years ago
- Sagan is an observability tool for Cosmos and other Tendermint applications☆36May 16, 2023Updated 2 years ago
- small wiki engine based on static reST files and git for versionning☆25Oct 26, 2015Updated 10 years ago
- This project contains the original white paper for Language Construct Modeling (LCM) v1.13, authored by Vincent Shing Hin Chong. It intro…☆15Jul 23, 2025Updated 7 months ago
- ☆22Jul 25, 2025Updated 7 months ago
- Self Service Scripts for Azure HANA Large Instances☆12Jun 11, 2021Updated 4 years ago
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- Grav Multiple Condition Filters Plugin https://getgrav.org☆11Jul 29, 2017Updated 8 years ago
- ☆10Dec 22, 2020Updated 5 years ago
- ☆27Jan 30, 2026Updated last month
- Symbian Utilities☆11Nov 7, 2016Updated 9 years ago