Skip to content
View raventid's full-sized avatar
🔆
Brenner ubønnhørlig i ravnens ild
🔆
Brenner ubønnhørlig i ravnens ild
  • Hong Kong SAR

Block or report raventid

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

SWE-agent takes a GitHub issue and tries to automatically fix it, using GPT-4, or your LM of choice. It can also be employed for offensive cybersecurity or competitive coding challenges. [NeurIPS 2…

Python 14,073 1,432 Updated Dec 23, 2024
Rust 3 Updated May 22, 2020

The OpenTelemetry Haskell Client https://opentelemetry.io

Haskell 65 6 Updated Oct 12, 2023

`Dumb` structure generator

Rust 5 1 Updated Oct 24, 2023

Daggy - Data Aggregation Utility and C/C++ developer library for data streams catching

C++ 153 15 Updated Oct 2, 2024

📓 Flexible and configurable modern #Haskell logging framework

Haskell 261 51 Updated Dec 14, 2024

A major mode for editing PlantUML sources in Emacs

Emacs Lisp 513 97 Updated Jul 11, 2024

Happy Haskell Programming

Haskell 67 5 Updated Jan 31, 2024

Emacs mode for Lean

Emacs Lisp 70 17 Updated Jun 11, 2023

⭕️ N2O: Haskell Application Server

Haskell 48 5 Updated Feb 16, 2022

A fast, boilerplate free, web framework for Rust

Rust 981 51 Updated Dec 6, 2019

Rust library for building and running BPF/eBPF modules

Rust 1,710 137 Updated Jun 30, 2023

A self hosted Medium platform built with Ruby on Rails

Ruby 390 45 Updated Nov 15, 2019

Detects usage of unsafe Rust in a Rust crate and its dependencies.

Rust 1,417 67 Updated Aug 10, 2024

Alternative API for processes, featuring more type safety

Haskell 110 24 Updated Aug 21, 2024

Haskell representation and serialization of BSON documents (version 1.0) as defined at bsonspec.org

Haskell 18 30 Updated May 10, 2024

MongoDB driver for Haskell

Haskell 173 47 Updated Jun 14, 2024

Type classes for mapping, folding, and traversing monomorphic containers

Haskell 155 67 Updated Nov 28, 2024

Generic Programming using True Sums of Products

Haskell 161 48 Updated May 13, 2024

Haskell Web Application Interface

Haskell 837 263 Updated Dec 23, 2024

The Egison Programming Language

Haskell 913 32 Updated Dec 22, 2022

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

Rust 610 26 Updated May 16, 2021

Machine learning for Ruby

Ruby 659 15 Updated Dec 29, 2024

Pure Ruby implementation of HTTP/2 protocol

Ruby 897 63 Updated Nov 5, 2024

Emacs ❤️ Debug Adapter Protocol

Emacs Lisp 1,324 183 Updated Dec 16, 2024

A ground-up and standalone reimplementation of TensorFlow for ruby. Comes with a pure ruby and OpenCL opcode evaluator

Ruby 505 17 Updated Dec 26, 2020

A collection of different packages for CAS based data structures.

Haskell 107 25 Updated Jun 20, 2024

An Elixir library for defining structs with a type without writing boilerplate code.

Elixir 736 36 Updated Dec 6, 2023

Erlang mode for Alpaca

Emacs Lisp 6 2 Updated Jul 3, 2017

Erlang Replacement Therapy. Another attempt to make Erlang runtime (BEAM emulator) in Rust. Good news: I know what to do. Bad news: I have no clue how to Rust

Rust 594 26 Updated May 3, 2023
Next