danilopedraza / komodoLinks
The Komodo programming language code repository
☆11Updated 3 months ago
Alternatives and similar repositories for komodo
Users that are interested in komodo are comparing it to the libraries listed below
Sorting:
- This repository houses five notebooks containing Mathematica Wolfram commands along with their detailed descriptions in Persian. Explore …☆14Updated 2 years ago
- RowLang is a minimalistic esoteric programming language written as an analogy to rowing.☆20Updated last year
- An anonymous way of express your sensations through a decentralized network, powered by open source code and blockchain technologies.☆8Updated last year
- This repository is for the SoilingNet Project. Soiling Net is an AI model to analyze soiling and power loss on photovoltaic panels, with …☆10Updated 10 months ago
- A systems theorem prover☆11Updated last year
- A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.☆17Updated 2 years ago
- Find the most starred repositories per line of code in the language of your choice☆12Updated last year
- types for various combinatory systems, especialy tree calculi☆18Updated 5 months ago
- VSCode extension for Metamath☆10Updated 2 weeks ago
- Tools for wisp: the Whitespace-to-Lisp preprocessor☆12Updated 9 months ago
- Formalization of Homotopy Type Theory for use in my Youtube videos☆15Updated last year
- A collection of lambda calculus interpreters and development tools☆15Updated 2 years ago
- minimalistic s-expression based term rewriting framework☆15Updated last month
- An esoteric programming language with just two data types: null and tape☆11Updated last year
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Updated 2 years ago
- Type-driven syntactic and semantic effectful parsing for NL☆15Updated last month
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆15Updated last week
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 5 years ago
- Personal research notes☆16Updated 9 months ago
- script for automatically changing the keyboard input language based on the specific app preferences☆15Updated 2 years ago
- ☆11Updated last year
- Animation of Yves Lafont's Interaction Combinators☆19Updated 3 years ago
- Repository for the HARDENS project☆25Updated 7 months ago
- Category Theory & Cobordism Categories in Lean 4☆16Updated last year
- ☆14Updated last year
- A concatenative cyborg chimera.☆10Updated 6 months ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆18Updated 2 years ago
- Formalising the WASM spec in Lean☆23Updated last year
- Markdown to Wolfram Notebook converter☆14Updated 3 years ago
- The Nox programming language☆30Updated 2 years ago