首页 24小时热榜最新最佳问答展示工作

返回个人资料

ska80 的提交内容

科技回声

基于 Next.js 构建的科技新闻平台，提供全球科技新闻和讨论内容。

首页

首页最新最佳问答展示工作

资源链接

HackerNews API 原版 HackerNews Next.js

© 2025 科技回声. 版权所有。

1

Single Page Web Applications in Idris

4 点作者 ska80将近 2 年前

2

Idris 2 0.6.0 is now available for the JVM

162 点作者 ska80大约 2 年前

3

GNU Common Lisp 2.6.13 is released

4 点作者 ska80超过 2 年前

4

Idris 2 version 0.5.0 Released

8 点作者 ska80超过 3 年前

5

Idris 2 – 0.2.1 release for the JVM

4 点作者 ska80将近 4 年前

6

Idris Developers Meeting, April 2021

2 点作者 ska80大约 4 年前

7

Mezzano (LispOS) Release Demo 5

7 点作者 ska80将近 5 年前

8

New JavaScript code generator in Idris 2

164 点作者 ska80将近 5 年前

9

Closos: Specification of a Lisp operating system (2013) [pdf]

90 点作者 ska80将近 5 年前

10

Idris2 is now self-hosted

2 点作者 ska80将近 5 年前

← 上一页下一页 →