coord-e/sats coord-e/sats

  • This repository has been archived on 23/Nov/2022
  • Stars
    star
    1
  • Language
    Rust
  • License
    GNU General Publi...
  • Created over 4 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
coord-e/sats
github

coord-e

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Toy DPLL and CDCL SAT solver implementation

More Repositories

1

magicpak

🔨 Build minimal docker images without static linking
Rust
607
star
2

misskey-rs

✌️ Client library for Misskey 🥰
Rust
57
star
3

mlml

self-hosted compiler for a subset of OCaml
OCaml
50
star
4

ccc

optimizing compiler for a subset of C language
C
34
star
5

scopion

a statically-typed programming language with powerful syntax
C++
31
star
6

expressi

Expression-oriented toy programming language written in Rust
Rust
19
star
7

kaisantantoudaijin

Discordの通話が解散できないオタクを解散させる解散担当大臣
Rust
17
star
8

cart

convert c/c++ code into well-formed ascii art
C++
14
star
9

r53ddns

command-line utility to update A record in Route53 with current global IP address
Rust
7
star
10

epgstation_exporter

Prometheus exporter for EPGStation metrics
Go
6
star
11

CopyBundleID

This Tweak adds a quick action shortcut to every app that will copy the app's bundle identifier.
Objective-C
6
star
12

slide-coinslt1000-slsa

5分でSLSA
CSS
6
star
13

ad-hoc-poly

Implementation of type classes
Haskell
6
star
14

impl-outsidein

Toy implementation of type inference for GADTs and TypeFamilies
Haskell
5
star
15

DSP6951

Library for DSP6951 DSP Radio IC.
C++
4
star
16

slide-specialseminar21-reimpl-functional-package-manager

純粋関数型パッケージマネージャの追実装
CSS
4
star
17

slide-type-class-impl

Haskellで作ってわかる型クラス
4
star
18

slide-coins20lt-outsidein-type-inference

OutsideIn(X) 型推論
CSS
3
star
19

oir

oir: OtakuAssembly Vol.2 第一章『データフロー最適化の実装』サンプル実装
C
3
star
20

mirakurun_exporter

Prometheus exporter for Mirakurun metrics
Go
3
star
21

article-ccc-backend

cccコンパイラのバックエンド
TeX
2
star
22

GT20L16J1Y

GT20L16J1Y Japanese Font ROM Driver Library for Arduino
C++
2
star
23

mkbookpdf

command-line utility for booklet printing
Rust
2
star
24

ili9328SPI

ILI9328 Driver Library for Arduino
C++
2
star
25

slide-coins20lt-misskey-rs

misskey-rs 紹介
CSS
2
star
26

rlenv

Scaffold reinforcement learning experiment environment
Python
2
star
27

discord-link2github

A bot for Discord that links Issue/PR to GitHub
JavaScript
2
star
28

bd

Bash Framework to accelerate your daily scripting
Shell
2
star
29

vrm-render

(wip) VRM renderer CLI
TypeScript
2
star
30

coord-e.com

Nix
2
star
31

slide-coins20lt-prove-using-ghc

"Theorem Proving using GHC" at coins20LT#1
1
star
32

minidots

minimal sufficient dotfiles
Shell
1
star
33

serialmon

A simple UART monitor built with Arduino
C++
1
star
34

slide-ps1

PS1芸
1
star
35

dotfiles

my .files
Emacs Lisp
1
star
36

runbot

Runbot runs your code on Discord using Wandbox API
Rust
1
star
37

linux_dvb_exporter

Prometheus exporter for DVB device metrics
Go
1
star
38

slack-send

Send message to Slack via webhook
Rust
1
star
39

pca9685

PCA9685 driver library
C++
1
star
40

slide-coins20lt-fold-for-all

fold for all
CSS
1
star
41

line-discord-webhook-adaptor

Adaptor between LINE Messaging API and Discord Webhooks.
JavaScript
1
star
42

eagle-libraries

My collection of libraries for Autodesk EAGLE
1
star
43

new-year-countdown

$ npx new-year-countdown
JavaScript
1
star
44

slide-coins20lt-rust-intro

Introduction to Rust
1
star
45

discord-minutes

Create a minute of meeting in Discord using GCP's Speech API
JavaScript
1
star