coalton-lang/coalton

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

Common LispMakefilefunctional-programmingcommon-lisptype-safety
This is stars and forks stats for /coalton-lang/coalton repository. As of 26 Apr, 2024 this repository has 851 stars and 54 forks.

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp. Coalton can be written in files: (in-package #:coalton-user) (named-readtables:in-readtable coalton:coalton) (coalton-toplevel ;; Define Coalton `Symbol`s as Lisp `cl:keyword`s. (repr :native cl:keyword) (define-type Symbol) ;; Bind a Lisp function into Coalton. (declare sym (String -> Symbol)) (define (sym s) "Create a new symbol named `s`." (lisp Symbol (s) (cl:intern...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
quil-lang/sbcl-librarianCommon LispPythonMakefile750150
savi-lang/saviCrystalMakefileC++1490100
seagle0128/.emacs.dEmacs Lisp1.8k02630
emacs-csharp/csharp-modeEmacs LispC#Makefile1510490
hlissner/emacs-solaire-modeEmacs LispMakefile2700100
cute-jumper/evil-embrace.elEmacs Lisp46060
certifi/erlang-certifiErlangMakefile1260390
lewis6991/impatient.nvimLuaMakefile1.2k-1290
LineageOS/android_hardware_qcom_btCC++Makefile20410
nabla-c0d3/ssl-kill-switch2Objective-CCMakefile2.9k04630