- Germany
-
19:22
(UTC +02:00) - @janriemer@floss.social
- All languages
- Agda
- Assembly
- Bikeshed
- Blade
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Coq
- Crystal
- Cuda
- D
- Dart
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- F#
- F*
- Fluent
- FreeMarker
- GDScript
- Gleam
- Go
- HTML
- Hack
- Handlebars
- Haskell
- Idris
- Java
- JavaScript
- Jupyter Notebook
- Just
- Koka
- Kotlin
- LLVM
- Lean
- Liquid
- Lua
- MDX
- Makefile
- Markdown
- MoonBit
- Nim
- Nix
- Nunjucks
- OCaml
- Objective-C
- PHP
- PLpgSQL
- Perl
- PowerShell
- Python
- R
- Racket
- Reason
- Roc
- Rocq Prover
- Ruby
- Rust
- SCSS
- SVG
- Sass
- Scala
- ShaderLab
- Shell
- Standard ML
- Starlark
- Svelte
- Swift
- TeX
- Thrift
- TypeScript
- Typst
- V
- Vala
- Vue
- WGSL
- WebAssembly
- Zig
- jq
Starred repositories
L4 - rules-as-code - is an open-source programming language for legal contracts and legislation/regulation.
Implementation of the Cedar Policy Language
WebRTC SFU server SDKs. Server-side library is Rust and client-side library is TypeScript.
A theory‑backed, ultra type‑safe algebraic effects
This template is a great way to get started on a new 2D Bevy game!
A peer-to-peer multiplayer extension for Godot based on Iroh.
📚 A collection of resources about supercompilation
Delayed Streams Modeling (DSM) is a flexible formulation for streaming, multimodal sequence-to-sequence learning.
Moshi is a speech-text foundation model and full-duplex spoken dialogue framework. It uses Mimi, a state-of-the-art streaming neural audio codec.
Font introspection, complex text shaping and glyph rendering.
Firefox port of a Chrome extension to disable youtube video titles autotranslation
Dialog is an embeddable database designed for local-first software.
Injectorpp is a powerful tool designed to facilitate the writing of unit tests without the need to introduce traits solely for testing purposes. It streamlines the testing process by providing a se…
Real-time data transformation framework for AI. Ultra performant, with incremental processing.
A fast framework for writing baseline compiler back-ends in C++
VictoriaMetrics: fast, cost-effective monitoring solution and time series database
WhisperX: Automatic Speech Recognition with Word-level Timestamps (& Diarization)
Hotpatch your Bevy systems, allowing you to change their code while the app is running and directly seeing the results!
The VerCors verification toolset for verifying parallel and concurrent software
Various materials about Profile Guided Optimization and other similar stuff like AutoFDO, Bolt, etc.
modular service framework to move and transform network packets