GaloisInc / mistralView external linksLinks
An interpreter for the Mistral language.
☆19Aug 29, 2017Updated 8 years ago
Alternatives and similar repositories for mistral
Users that are interested in mistral are comparing it to the libraries listed below
Sorting:
- Multi-party computation utilities toolkit for rust☆16Dec 19, 2019Updated 6 years ago
- Experimental Javascript Environment☆22Jun 17, 2009Updated 16 years ago
- Oblivious transfer library for rust☆11Dec 19, 2019Updated 6 years ago
- Facet Search interface for MEMEX.☆13Feb 26, 2015Updated 10 years ago
- C implementation of the CLT13 multilinear map☆14Nov 29, 2018Updated 7 years ago
- Hadoop MapReduce over Hive based implementation of attributed network pattern matching.☆40Sep 16, 2014Updated 11 years ago
- A tool for building graphs quickly☆17Jan 6, 2023Updated 3 years ago
- ☆20Mar 31, 2017Updated 8 years ago
- Finding functions, because they're sexy.☆25Sep 21, 2012Updated 13 years ago
- Datomic Utility Library☆20Jan 27, 2018Updated 8 years ago
- Capstone bindings for Haskell: https://github.com/aquynh/capstone☆15Apr 5, 2021Updated 4 years ago
- Modern compiler implementation in ML, in Haskell☆16Apr 4, 2018Updated 7 years ago
- A very simple example of how to use Alex and Happy to build a language processor in Haskell.☆15Jan 23, 2015Updated 11 years ago
- A practical stack-based language with an emphasis on functions.☆17Dec 7, 2022Updated 3 years ago
- Stackless Joy☆23Apr 15, 2025Updated 10 months ago
- command-line Haskell with 'ghc -e'☆22Aug 11, 2017Updated 8 years ago
- ☆20Nov 1, 2017Updated 8 years ago
- The Haskell File System: A file system implementation in Haskell☆38May 9, 2015Updated 10 years ago
- Litecoin extensions for NBitcoin☆21Sep 17, 2021Updated 4 years ago
- MITIE: library and tools for information extraction☆29Jan 22, 2015Updated 11 years ago
- Perplex, Lemon, and Re2c: A cross-platform lexer/parser replacement for flex and bison☆30Sep 8, 2015Updated 10 years ago
- Runtime code generation for x86 machine code☆26Sep 30, 2023Updated 2 years ago
- a customizable and extensible language with dynamic parser and meta compilation.☆65Nov 27, 2015Updated 10 years ago
- These source codes are the solutions to my University course problems.☆15Dec 25, 2018Updated 7 years ago
- A prototype meta DSL that generates Delite DSL implementations from a specification-like program.☆51Feb 28, 2017Updated 8 years ago
- ☆60Jul 2, 2024Updated last year
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- Source code for an tutorial☆10Jan 23, 2017Updated 9 years ago
- ☆11Oct 10, 2017Updated 8 years ago
- Visual FoxPro utilities, classes, and functions. Just getting started with this.☆17Mar 11, 2018Updated 7 years ago
- Python wrapper for http://nacl.cace-project.eu/☆30Nov 8, 2021Updated 4 years ago
- Bindings for llvm in racket☆66Jun 6, 2015Updated 10 years ago
- With FasterGPS you can select a NTP Server matching your region to speed up the process of getting a GPS fix.☆63Aug 28, 2017Updated 8 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Aug 19, 2017Updated 8 years ago
- A .Net MVC 3 Site with jQuery Mobile included for easy mobile site creation.☆19Jul 16, 2011Updated 14 years ago
- textmate, xcode, emacs & intellij color theme☆32Apr 25, 2011Updated 14 years ago
- Uxn emulator on iOS☆13Oct 18, 2024Updated last year
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated 2 years ago
- Pretty printer and Common Lisp format function for Clojure☆25Aug 5, 2021Updated 4 years ago