acl2 |
8.3-1 |
6 |
0.00 |
ACL2 theorem prover. |
soimort
|
aoi |
3.1.0-1 |
41 |
0.00 |
A 3D modeling and rendering studio (Art of Illusion) |
soimort
|
emacs-android-git |
20190903-1 |
8 |
0.00 |
Emacs minor mode for Android application development |
soimort
|
emacs-arduino-mode-git |
20150609-1 |
6 |
0.00 |
Major mode for the Arduino language. |
soimort
|
emacs-ats-mode |
20150609-2 |
0 |
0.00 |
Major mode for ATS programming language. |
soimort
|
emacs-emmet-mode-git |
20180613-1 |
1 |
0.00 |
Minor mode providing support for Zen Coding, with Emmet's feature expansion. |
soimort
|
emacs-idris-mode-git |
20150609-1 |
1 |
0.00 |
Major mode for editing Idris. |
soimort
|
emacs-less-css-mode-git |
20150609-1 |
1 |
0.00 |
Major mode for LESS CSS (lesscss.org), with support for compile-on-save. |
soimort
|
emacs-oz-mode |
20150609-1 |
1 |
0.00 |
Major mode for editing Mozart/Oz. |
soimort
|
emacs-processing-mode-git |
20150609-1 |
2 |
0.00 |
Major mode for Processing 2.0. |
soimort
|
emacs-whitespace-mode |
20150609-1 |
0 |
0.00 |
Major mode for editing Whitespace (an esoteric programming language). |
soimort
|
fstar |
0.9.7.0-2 |
3 |
0.00 |
A Higher-Order Effectful Language Designed for Program Verification |
soimort
|
fstar-bin |
0.9.7.0-1 |
4 |
0.00 |
A Higher-Order Effectful Language Designed for Program Verification |
soimort
|
fstar-git |
20191019-1 |
6 |
0.00 |
A Higher-Order Effectful Language Designed for Program Verification |
soimort
|
hol |
kananaskis.13-3 |
5 |
0.00 |
HOL4 theorem-proving system |
soimort
|
hol-git |
20200210-1 |
0 |
0.00 |
HOL4 theorem-proving system |
soimort
|
jpcsp |
r0f1ba37-1 |
33 |
0.00 |
Java PSP Emulator |
soimort
|
kawa |
3.1.1-1 |
8 |
0.00 |
A Scheme implementation and framework targeted the JVM. |
soimort
|
kawa-svn |
8533-1 |
1 |
0.00 |
Kawa is a JVM-based Scheme compiler |
soimort
|
marst |
2.7-1 |
4 |
0.00 |
Algol to C translator |
soimort
|
mathcomp-git |
20191007-1 |
1 |
0.00 |
The Mathematical Components Library for the Coq system. |
soimort
|
miranda |
2.066-1 |
9 |
0.00 |
Miranda programming language |
soimort
|
mlkit |
4.4.3-1 |
1 |
0.00 |
Standard ML Compiler and Toolkit |
soimort
|
mosml |
2.10.1-1 |
4 |
0.00 |
Moscow ML is a light-weight implementation of Standard ML (SML) |
soimort
|
nemerle |
1.2.507.0-1 |
8 |
0.00 |
A high-level statically-typed programming language for the .NET platform. |
soimort
|
ocaml-batteries-git |
20191021-1 |
5 |
0.00 |
Batteries Included for OCaml |
soimort
|
ocaml-cairo-git |
20150609-1 |
3 |
0.00 |
OCaml bindings for cairo |
soimort
|
ocaml-menhir |
20200624-4 |
10 |
0.00 |
Menhir is a LR(1) parser generator for the OCaml. |
soimort
|
ocaml-migrate-parsetree-git |
20190905-1 |
0 |
0.00 |
Convert OCaml parsetrees between different versions |
soimort
|
ocaml-pprint |
20180523-1 |
0 |
0.00 |
An OCaml adaptation of Wadler's and Leijen's prettier printer. |
soimort
|
ocaml-ppxfind-git |
20190513-3 |
0 |
0.00 |
ocamlfind ppx tool |
soimort
|
ocaml-ppx_derivers-git |
20190404-3 |
0 |
0.00 |
deriving plugin registry |
soimort
|
ocaml-ppx_deriving-git |
20191107-1 |
0 |
0.00 |
Type-driven code generation for OCaml >=4.02 |
soimort
|
ocaml-ppx_deriving_yojson-git |
20200812-1 |
0 |
0.00 |
A Yojson codec generator for OCaml >= 4.02. |
soimort
|
ocaml-ppx_tools-git |
20200211-1 |
0 |
0.00 |
Tools for authors of ppx rewriters and other syntactic tools |
soimort
|
ocaml-process-git |
20160901-2 |
0 |
0.00 |
Easy process control in OCaml |
soimort
|
ocaml-stdint-git |
20200208-3 |
0 |
0.00 |
Various signed and unsigned integers for OCaml |
soimort
|
ocaml-yojson-git |
20190520-1 |
0 |
0.00 |
Low level JSON binary for OCaml |
soimort
|
prover9 |
2009.11A-2 |
8 |
0.00 |
Prover9 is an automated theorem prover for first-order and equational logic |
soimort
|
smltojs |
4.4.3-1 |
1 |
0.00 |
Standard ML to JavaScript compiler |
soimort
|
twelf |
1.7.1-2 |
0 |
0.00 |
An implementation of the logical framework LF |
soimort
|
twelf-git |
20130819-3 |
1 |
0.00 |
An implementation of the logical framework LF |
soimort
|
ulex-git |
20171127-4 |
0 |
0.00 |
ulex is a lexer generator for Unicode and OCaml |
soimort
|