kona
konna
Our great sponsors
kona | konna | |
---|---|---|
10 | 6 | |
1,342 | 11 | |
- | - | |
1.6 | 0.0 | |
11 months ago | about 2 years ago | |
C | Haskell | |
ISC License | Mozilla Public License 2.0 |
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.
kona
- k on pdp11
- APLcart – Find your way in APL
- K: We need to talk about group
- Ngn/k (free K implementation)
- I wrote the least-C C program I could
-
Konna, my programming language
At first, I thought you were going to be talking about Kona which is another language. You may wish to consider a more unique name, though Kona isn't super well known.
-
Here's how 2 lines of APL code checked & fixed 1h of maths calculations on paper.
For anyone interested in using a language like APL that doesn't require special symbols, I'd recommend K. You can try it out using Kona.
-
Some thoughts on APLs (real or imagined) beauty, and the value of very concise languages (Twitter thread)
There are some open source implementations of J and K that you might enjoy.
konna
-
How did you choose the name for your programming language?
The second was called Konna. AFAIK it’s Finnish for “frog”, but sources seem to disagree? I don’t speak Finnish, I got the word from a Finnish video game. My third and current language is called Peridot. I’m pretty proud of this name, although it’s less searchable than the previous ones. The origin is pretty simple, I was just looking around at gemstones and thought peridot looked neat.
-
January 2022 monthly "What are you working on?" thread
Continuing work on Konna. I recently finished implementing dependent pattern matching, a pretty big feature! I figured now is the time to do some refactoring and rewriting - the elaborator is the first thing on my list. Once all this maintenance work is done I'll be implementing features like implicit arguments, overloading, and pattern matching on code values.
-
Konna, my programming language
Github repo: https://github.com/eashanhatti/konna
-
December 2021 monthly "What are you working on?" thread
Continuing work on my functional language Konna. The structured editor has progressed a whole lot recently - the most glaring bugs have been fixed and you can work with the entire language in it. The language itself is going well too, I'm currently thinking through:
-
September 2021 monthly "What are you working on?" thread
Working on a rewrite of Konna (formerly Clamn). After using Rust for a little over a year in the original implementation, I decided I wasn't enjoying it. I'm using Haskell for the rewrite - I'd always wanted to write a big project in Haskell anyway haha. Definitely enjoying the higher-level conveniences it offers. The rewrite has been underway for about two weeks now, and so far I've got basic dependent types and partial evaluation implemented.
-
March 2021 monthly "What are you working on?" thread
Continuing work on my functional systems language Clamn. I'd taken the last few weeks to fix a bunch of performance issues, but now it's finally back to implementing features: record types. I've got dependent types in my lang, which means I can get a bunch of more exciting features for free by implementing records, ADTs for instance.
What are some alternatives?
Kbd - Alternative unified APL keyboard layouts (AltGr, Backtick, Compositions)
wotpp - A small macro language for producing and manipulating strings.
unmaintainable-code - A more maintainable, easier to share version of the infamous http://mindprod.com/jgloss/unmain.html
Cwerg - The best C-like language that can be implemented in 10kLOC.
PDP_11_Simulator - PDP11 Simulator written in APL
pen - The parallel, concurrent, and functional programming language for scalable software development
ngn-k-tutorial - An ngn/k tutorial.
star - An experimental programming language that's made to be powerful, productive, and predictable
cpaint - https://briancallahan.net/blog/20220220.html
pika - A WIP little dependently-typed systems language
april - The APL programming language (a subset thereof) compiling to Common Lisp.
Bilobe - A New Programming Language To Introduce New Way To Code...