gerty
prolog-to-minizinc
| gerty | prolog-to-minizinc | |
|---|---|---|
| 3 | 1 | |
| 49 | 5 | |
| - | - | |
| 2.5 | 0.0 | |
| 12 days ago | over 4 years ago | |
| Haskell | Prolog | |
| GNU General Public License v3.0 or later | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
gerty
-
Rust vs. Haskell
I believe both Gerty and Granule are implemented in Haskell and are the only implementations of GRTT.
-
What are some cool/wierd features of a programming language you know?
Granule and the related Gerty languages feature graded modal types which afaiu can be used similar to linear types to specify the number of times a resource should be consumed in a function, which, unlike linear types, may be a variable amount instead of only exactly once.
-
Graded Modal Dependent Type Theory (ESOP 2021)
This is exciting work from the Granule team! You can find Gerty on Github, and their paper, “Graded Modal Dependent Type Theory” on arXiv.
prolog-to-minizinc
-
What are some cool/wierd features of a programming language you know?
Prolog is a homoiconic language with built-in unification and backtracking. These features are remarkably useful for metaprogramming: I once wrote an interpreter for a functional programming language in less than 80 lines of Prolog code.
What are some alternatives?
frank - Frank compiler
langs
granule - A statically-typed linear functional language with graded modal types for fine-grained program reasoning
ponyc - Pony is an open-source, actor-model, capabilities-secure, high performance programming language
jellylanguage - Jelly is a recreational programming language inspired by J.
perlweeklychallenge-club - Knowledge base for The Weekly Challenge club members using Perl, Raku, Ada, APL, Awk, Bash, BASIC, Bc, Befunge-93, Bourne Shell, BQN, Brainfuck, C3, C, CESIL, C++, C#, Clojure, COBOL, Coconut, Crystal, D, Dart, Dc, Elm, Emacs Lisp, Erlang, Excel VBA, Fennel, Fish, Forth, Fortran, Gembase, GNAT, Go, Haskell, Haxe, HTML, Idris, IO, J, Janet, Java, JavaScript, Julia, Kotlin, Lisp, Lua, M4, Miranda, Modula 3, MMIX, Mumps, Myrddin, Nim, Nix, Node.js, Nuweb, OCaml, Odin, Ook, Pascal, PHP, Python, Postscript, Prolog, R, Ring, Ruby, Rust, Scala, Scheme, Sed, Smalltalk, SQL, Swift, Tcl, TypeScript, Visual BASIC, WebAssembly, Wolfram, XSLT and Zig.