nim-lang/sat nim-lang/sat

  • Stars
    star
    14
  • Rank 1,438,076 (Top 29 %)
  • Language
    Nim
  • License
    MIT License
  • Created 9 months ago
  • Updated 8 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
nim-lang/sat
github

nim-lang

Reviews

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

Repository Details

A SAT solver written in Nim

More Repositories

1

Nim

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
Nim
16,535
star
2

nimble

Package manager for the Nim programming language.
Nim
1,249
star
3

nimforum

Lightweight alternative to Discourse written in Nim
Nim
759
star
4

c2nim

c2nim is a tool to translate Ansi C code to Nim. The output is human-readable Nim code that is meant to be tweaked by hand before and after the translation process.
Nim
500
star
5

packages

List of packages for Nimble
Nim
449
star
6

ui

Beginnings of what might become Nim's official UI library.
Nim
239
star
7

sdl2

Nim wrapper for SDL 2.x
Nim
232
star
8

langserver

The Nim language server implementation (based on nimsuggest)
Nim
202
star
9

nim-mode

An emacs major mode for the Nim programming language
Emacs Lisp
137
star
10

RFCs

A repository for your Nim proposals.
136
star
11

NimLime

The official Nim programming language plugin for Sublime Text
Nim
132
star
12

fusion

Fusion is for now an idea about how to grow Nim's ecosystem without the pain points of more traditional approaches.
Nim
128
star
13

redis

Official redis wrapper for Nim.
Nim
126
star
14

bigints

BigInts for Nim
Nim
124
star
15

website

Code for the official Nim programming language website
HTML
114
star
16

opengl

An OpenGL wrapper for Nim
Nim
114
star
17

needed-libraries

This repository contains a list a needed libraries.
112
star
18

atlas

The Atlas Package cloner. It manages an isolated workspace that contains projects and dependencies.
Nim
97
star
19

vscode-nim

A VS Code plugin for the Nim language
Nim
73
star
20

threading

New atomics, thread primitives, atomic refcounting for --gc:arc/orc.
Nim
73
star
21

nim-zmq

Nim ZMQ wrapper
Nim
67
star
22

zip

zip wrapper for Nim
C
50
star
23

csources

The pre-generated C sources of the Nim compiler which aid in bootstrapping. This repository is archived because it's frozen, HEAD of csources can build Nim version 1 and any later version.
C
50
star
24

x11

x11 wrapper for Nim
Nim
48
star
25

iup

iup wrapper for Nim. Used to be part of the stdlib, now a Nimble package.
Nim
47
star
26

nightlies

Separate repository to trigger installer builds.
Shell
44
star
27

nimsuggest

idetools for the nim language
42
star
28

lua

Nim Wrapper to interface with the Lua interpreter
Nim
37
star
29

cairo

Nim Cairo wrapper.
Nim
34
star
30

python

Nim wrapper for the Python 2 programming language
Nim
33
star
31

gtk2

gtk2 wrapper for Nim
Nim
32
star
32

nif

NIF is a text based data format designed for compiler frontend/backend communication or communication between different programming languages.
Nim
27
star
33

opencl

Low-level OpenCL wrapper for Nim
Nim
24
star
34

virus_checker

A virus checker for nim binaries
Nim
22
star
35

db_connector

Unified db connector in Nim
Nim
19
star
36

csources_v1

CSources compiled from Nim version 1. Supports more CPU/OS combinations than the older csources repository.
C
15
star
37

assets

15
star
38

tcl

Nim Wrapper for the TCL programming language
Nim
15
star
39

niminst

EDIT: now archived, see https://github.com/nim-lang/Nim/issues/15946. niminst is a tool to generate an installer for a Nim program. Currently it can create an installer for Windows as well as installation/deinstallation scripts for UNIX. Some support for Linux' package management systems is also included.
Nim
15
star
40

graphics

Graphics module for Nim. Currently based on SDL v1.2.
Nim
13
star
41

checksums

Hash algorithms in Nim
Nim
12
star
42

punycode

Implements a representation of Unicode with the limited ASCII character subset in Nim.
Nim
12
star
43

wiki

11
star
44

smtp

SMTP client implementation, adapted from the Nim standard library
Nim
10
star
45

standardjs

Wrappers for standardized JS modules.
Nim
10
star
46

compilerdev

This repository contains a collection of documents about how to change/refactor the Nim compiler in order to make it faster, easier to maintain and have fewer bugs by a superior architecture and design. However, no every idea here will work out.
Nim
10
star
47

nimbot

The friendly, slightly sentient, Nim IRC bot.
Nim
10
star
48

pas2nim

pas2nim is a tool to translate Delphi/Pascal wrappers to Nim code.
Nim
10
star
49

ci_bench

A simple performance dashboard for the Nim language
Nim
9
star
50

mongo

MongoDB wrapper for Nim
Nim
9
star
51

choosenim

Official tool for easily installing and managing multiple versions of the Nim programming language.
Nim
9
star
52

cgi

Helper procs for CGI applications in Nim.
Nim
8
star
53

dlls

Prebuilt DLLs and lib*.so files for Nim. Every DLL added here will also have at least a description about how we built it.
8
star
54

dialogs

This module implements portable dialogs for Nim; the implementation builds on the GTK interface. On Windows, native dialogs are shown instead.
Nim
8
star
55

sdl1

SDL v1.2 wrapper for Nim.
Nim
7
star
56

oldwinapi

Old Win API wrapper for Nim.
Nim
7
star
57

csources_v2

CSources compiled from Nim version 2.
C
7
star
58

edutainment

Tasks related to making Nim more widely known such as video creation.
7
star
59

community_map

5
star
60

htmlparser

Parse a HTML document in Nim
Nim
5
star
61

graveyard

non-deprecated modules that have been removed from the Nim stdlib
Nim
5
star
62

testspec

in progress
Nim
5
star
63

security

Embargoed security issues that will be made public after a fix is made available. Use https://github.com/nim-lang/security/security
5
star
64

basic2d

Deprecated package from stdlib.
Nim
4
star
65

asyncftpclient

FTP client implementation, adapted from the Nim standard library
Nim
4
star
66

backport

backport requests
4
star
67

kickstart

Automated bootstrapping scripts for the Nim programming language compiler.
Shell
4
star
68

aporia-bin

Holds binaries for Aporia (mostly DLLs)
Shell
4
star
69

expat

Expat wrapper for Nim.
Nim
3
star
70

basic3d

Nim
3
star
71

joyent_http_parser

Nim
2
star
72

nim-buildbot

Buildbot Configuration and Script Files for Nim
Python
2
star
73

libsvm_legacy

Nim
1
star
74

forum.nim-lang.org

Styles for forum.nim-lang.org. Powered by nimforum.
SCSS
1
star