Isabelle
Agda
Coq
Lean
Idris
Haskell
Racket Lang
Python
Chicken
Guile
Racket Lang
Clojure
Gambit
Hy
Julia
Steel Bank Common Lisp
IsabelleBased on our record, Chicken seems to be more popular. It has been mentiond 5 times since March 2021. We are tracking product recommendations and mentions on various public social media platforms and blogs. They can help you identify which product is more popular and what people think of it.
Of course it does! What else would you call something like chicken scheme [https://call-cc.org/], ats [https://ats-lang.sourceforge.net/], or ghc [https://www.haskell.org/ghc/]? They are not "scripts", they are full-blown compilers that happen to use C as their compilation target, and then leverage C compilers to generate code for a variety of architecures. it's a very sensible way to do things. - Source: Hacker News / about 2 months ago
CHICKEN Scheme \ CHICKEN is a compiler for the Scheme programming language. It produces portable and efficient C and supports the R5RS and R7RS (work in progress) standards, and many extensions. It runs on Linux, OS X, Windows, many Unix flavours... Source: about 1 year ago
Website: http://call-cc.org Manual: http://wiki.call-cc.org/manual/index Wiki: http://wiki.call-cc.org/ Repository: https://code.call-cc.org/cgi-bin/gitweb.cgi?p=chicken-core.git;a=summary Standard Libraries: http://wiki.call-cc.org/man/5/Included%20modules Extension Repository: http://eggs.call-cc.org/5/. - Source: dev.to / over 1 year ago
If you’re fine with tracing GC (which depends on the situation, of course), Standard ML is a perfectly boring language (that IIUC predated and inspired Caml) and MLton[1] is a very nice optimizing compiler for it. The language is awkward at times (in particular, the separate sublanguage of modules can be downright unwieldy), and the library has some of the usual blind spots such as nonexistent Unicode support... - Source: Hacker News / almost 2 years ago
Enter matrico - a numerical Scheme module for, and fully written in, CHICKEN Scheme - which is an educational project on building a matrix-based numerical function library. - Source: dev.to / almost 2 years ago
Agda - Agda is a dependently typed functional programming language. It has inductive families, i.e.
Guile - Guile is the GNU Ubiquitous Intelligent Language for Extensions, the official extension language for the GNU operating system.
Coq - Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...
Racket Lang - Racket (formerly PLT Scheme) is a modern programming language in the Lisp/Scheme family, suitable...
Lean - Clean up your Live Photos
Clojure - Clojure is a dynamic, general-purpose programming language, combining the approachability and interactive development of a scripting language with an efficient and robust infrastructure for multithreaded programming.