Search: github.com/ska80 | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Thinlisp – Lisp to C translator for real-time applications (2001) [pdf]

github.com/ska80

4 years ago

4 points

2.

New JavaScript code generator in Idris 2

github.com/idris-lang

6 years ago

164 points

3.

Idris 2 0.6.0 is now available for the JVM

github.com/mmhelloworld

3 years ago

162 points

4.

Gentle Introduction to Blockchain with Lisp

github.com/bor0

7 years ago

23 points

5.

Mezzano (LispOS) Release Demo 5

github.com/froggey

6 years ago

7 points

6.

Single Page Web Applications in Idris

github.com/stefan-hoeck

3 years ago

4 points

7.

Idris 2 – 0.2.1 release for the JVM

github.com/mmhelloworld

5 years ago

4 points

8.

Nyxt Browser 4.0.0

github.com/atlas-engineer

5 months ago

3 points

9.

Idris Developers Meeting, April 2021

github.com/idris-lang

5 years ago

2 points

10.

Idris2 is now self-hosted

github.com/edwinb

6 years ago

2 points

11.

Next Browser v1.3.0 Release

github.com/atlas-engineer

7 years ago

2 points