polytt
pakhi-bhasha
polytt | pakhi-bhasha | |
---|---|---|
1 | 5 | |
37 | 127 | |
- | - | |
7.9 | 1.8 | |
7 months ago | almost 3 years ago | |
OCaml | Rust | |
- | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
polytt
-
Ask HN: What side projects landed you a job?
Not a job per se, but some friends and I wrote a library for building compositional chatbots (like for IRC not LLMs necessarily) encoded as Mealy Machines: https://github.com/cofree-coffee/cofree-bot/
That project then has since led to a long term collaboration with the Topos Institute where we are building type theory for Polynomial Functors: https://github.com/toposInstitute/polytt
Polynomial Functors are a really powerful abstraction from Category Theory which subsumes the co-algebraic approach to finite state machines used in `cofree-bot` and which can also be used to encode wiring diagrams, tactics engines, game semantics, neural networks, and dynamical systems in general.
pakhi-bhasha
- Ask HN: What side projects landed you a job?
-
Projects that landed you your first job
I made a programming language during covid that got me my first job. repo link
- Latino Programming Language
- Bangla programming language - Pakhi, progress report #3
- Show HN: Pakhi – Bangla Programming Language
What are some alternatives?
slay
csml-engine - CSML is an easy-to-use chatbot programming language and framework.
backgroundremover - Background Remover lets you Remove Background from images and video using AI with a simple command line interface that is free and open source.
wenyan - 文言文編程語言 A programming language for the ancient Chinese.
govuk-components - Lightweight Ruby on Rails components for developing with the GOV.UK Design System.
fontsource - Self-host Open Source fonts in neatly bundled NPM packages.
latino - Lenguaje de programación de código abierto para latinos y de habla hispana.
serenity - The Serenity Operating System 🐞
chorui - Chorui is an IDE for pakhi programming language
goby - Goby - Yet another programming language written in Go
cofree-bot - A library for building bots compositionally.