3Morloc: Foreign languages unified under common functional type system (opens in new tab)(github.com)93agentofuser4y ago20
4Lawvere: A categorical programming language with effects (opens in new tab)(github.com)3agentofuser4y ago0
5Lightweight Scheme IDE on macOS and iOS (opens in new tab)(lisppad.objecthub.net)3agentofuser4y ago1
6BLisp: A Statically Typed Lisp Like Language (opens in new tab)(ytakano.github.io)121agentofuser4y ago50
7At the roots of dictionary compression: string attractors (opens in new tab)(dl.acm.org)2agentofuser4y ago0
9Yatima: A programming language for the decentralized web (opens in new tab)(github.com)89agentofuser4y ago62
10Open Source Clojure-Datalog Databases Comparison Matrix (opens in new tab)(clojurelog.github.io)3agentofuser4y ago0
11GroupDAG–Decentralized Communities of Self-Replicating Small Cohort Meetups (opens in new tab)(agentofuser.com)1agentofuser4y ago0
14SoniControl – ultrasonic firewall against acoustic tracking (opens in new tab)(github.com)1agentofuser6y ago0
15Mirth – a type-safe concatenative purely functional programming language (opens in new tab)(github.com)119agentofuser6y ago73