Search: github.com/ska80 | Heykuki News

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 points

4 years ago

2.

New JavaScript code generator in Idris 2 (github.com/idris-lang)

164 points

6 years ago

3.

Idris 2 0.6.0 is now available for the JVM (github.com/mmhelloworld)

162 points

3 years ago

4.

Gentle Introduction to Blockchain with Lisp (github.com/bor0)

23 points

7 years ago

5.

Mezzano (LispOS) Release Demo 5 (github.com/froggey)

7 points

6 years ago

6.

Single Page Web Applications in Idris (github.com/stefan-hoeck)

4 points

3 years ago

7.

Idris 2 – 0.2.1 release for the JVM (github.com/mmhelloworld)

4 points

5 years ago

8.

Nyxt Browser 4.0.0 (github.com/atlas-engineer)

3 points

5 months ago

9.

Idris Developers Meeting, April 2021 (github.com/idris-lang)

2 points

5 years ago

10.

Idris2 is now self-hosted (github.com/edwinb)

2 points

6 years ago

11.

Next Browser v1.3.0 Release (github.com/atlas-engineer)

2 points

7 years ago