๐งช | Lisp with REPL and macros which will compile itself
โ13Dec 4, 2024Updated last year
Alternatives and similar repositories for soft
Users that are interested in soft are comparing it to the libraries listed below
Sorting:
- My NixOS configurationโ12Updated this week
- Notification system, that schedules alarms on redis and send to all consumers.โ13Jan 24, 2022Updated 4 years ago
- A Reddit clone developed as a monorepo with React + Relay + Node.js + MongoDBโ35Mar 7, 2023Updated 2 years ago
- Minecraft java and bedrock libraryโ23Apr 15, 2023Updated 2 years ago
- A simple viewer of the cutoff scores for all Brazilian universities participating in SISUโ16Dec 26, 2023Updated 2 years ago
- Atiny is a simple compiler for a ML like languageโ11Aug 16, 2023Updated 2 years ago
- ๐ The Blow Your Mind Conferenceโ15Dec 21, 2025Updated 2 months ago
- Twitter clone with relay/mongodb/typescriptโ15Sep 26, 2022Updated 3 years ago
- ๐ฎ | Is a programming language aimed at incorporating everything Iโd like to have in Haskell, except dependent types.โ15Aug 13, 2022Updated 3 years ago
- A simple (and unfinished!!) database management system.โ21Jun 12, 2023Updated 2 years ago
- ๐งช | LLVM backend for HVMโ23May 23, 2023Updated 2 years ago
- ๐งฎ | Writing an Equation Solverโ34Aug 5, 2023Updated 2 years ago
- A curated list of resources on the science of learning anythingโ35Dec 17, 2024Updated last year
- ๐ฑ| Tiktok web cloneโ23Jun 13, 2024Updated last year
- Flutter plugin to run all creme sharing routines.โ11Feb 25, 2025Updated last year
- โ๏ธ REST api with NodeJS(KoaJS) MongoDB and Jest Tests.โ11Mar 21, 2025Updated 11 months ago
- wecs (wckd-ecs) is a simple ECS library suitable for general use.โ10Sep 12, 2024Updated last year
- Lambda Calculus parser and interpreter made in TypeScript's type systemโ14May 24, 2024Updated last year
- A service scheduler and load balancer.โ10Jul 10, 2024Updated last year
- Rust implementation of the Ulrich Drepper's "What every programmer should know about memory"โ13Aug 24, 2023Updated 2 years ago
- Describing lambda-calculus using ES6 arrow notationโ25Dec 21, 2021Updated 4 years ago
- โ17Feb 18, 2026Updated last week
- A programming language, aka a THINGโ10Sep 22, 2020Updated 5 years ago
- A tree-walk interpreter and a bytecode virtual machine interpreter written in the Rust Programming Language.โ13Jun 16, 2022Updated 3 years ago
- ๐ | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).โ48Mar 25, 2022Updated 3 years ago
- Convert OCaml Types between different major versionsโ14May 23, 2022Updated 3 years ago
- My personal blogโ62Updated this week
- ๐ | IDE focused programming language studyโ39Mar 4, 2024Updated last year
- fullstack twitter clone developed with GraphQL and Relayโ35Apr 25, 2024Updated last year
- HOTP and TOTP algorithms for 2-step verification (for OCaml).โ21Feb 18, 2023Updated 3 years ago
- โ14Feb 25, 2022Updated 4 years ago
- HTTP specification in Coq, testable and verifiableโ18Feb 22, 2026Updated last week
- A miniature model of the Typescript compilerโ34Jun 28, 2024Updated last year
- A tool to make life easier for those who use anki as part of learning new languagesโ16Mar 7, 2023Updated 2 years ago
- A TOML parser for Idris 2โ17Jun 27, 2024Updated last year
- OpenSSL bindings to OCaml EIOโ20Jun 25, 2024Updated last year
- Minimal type inference Algorithm W and Algorithm M in F#โ35Oct 23, 2023Updated 2 years ago
- ๐ | Functional programming language written in kotlin.โ61Oct 20, 2022Updated 3 years ago
- Toy programming languageโ20May 18, 2024Updated last year