-
Barcelona Supercomputing Center
- Barcelona
-
23:10
(UTC +02:00) - https://alf0nso.github.io/
- @_Gafanhoto
- @gafanhoto@masto.pt
- All languages
- ASL
- ATS
- Agda
- Assembly
- C
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- Cuda
- D
- DIGITAL Command Language
- DM
- Dockerfile
- Elixir
- Emacs Lisp
- Forth
- Fortran
- Go
- HTML
- Haskell
- Idris
- Janet
- Java
- JavaScript
- Julia
- Jupyter Notebook
- LLVM
- Lean
- Lua
- Makefile
- Markdown
- Marko
- Mercury
- OCaml
- OpenQASM
- PHP
- Prolog
- Python
- R
- RPC
- Racket
- Rocq Prover
- Rust
- Scala
- Smalltalk
- TeX
- TypeScript
- WebAssembly
- Yacc
- Zig
Starred repositories
Public source code for the website https://hyaline.systems
Forth VM and statically-typed s-expression compiler, written in C++ and Scryer Prolog
Rhythm game demonstrating the feasibility of functional-reactive games
Scalable graph analytics database powered by a multithreaded, vectorized temporal engine, written in Rust
A new approach to Emacs - Including TypeScript, Threading, Async I/O, and WebRender.
L. L. Odette's Prolog Virtual Machine (PVM) implemented in Forth. Upgraded to 32 Bit ANSI Forth. Tested on ForthWin.
A design system for building retro Apple interfaces
This repo is the new home of Proof General
SrGesus / ferrugem
Forked from bnjbvr/rouilleRust programming, in Portuguese.
Program Round-off Error Certifier via Static Analysis
a playground for making 3D art with lisp and math
Pure Data - a free real-time computer music system
Prolog like implementation for embedded systems.
A compendium of absurd "open-source" licenses.
Middleware Oficial de Identificação Eletrónica em Portugal - Cartão de Cidadão, da Chave Móvel Digital e Sistema de Certificação de atributos profissionais
p5.js is a client-side JS platform that empowers artists, designers, students, and anyone to learn to code and express themselves creatively on the web. It is based on the core principles of Proces…